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.