terminal category

$1$ is the terminal object in the category of categories (restricted to some universe).
It contains a single object and a single morphism.
$\star :1$; $i{d}_{\star }:\star \to \star$ completely determins this category.