Home Up Random
1 is terminal because a functor from any other category is forced to map all objects to 1 and all morphisms to its identity morphism.