Terminal Category

The terminal category is the Category with a single object and a single morphism.

Properties

The terminal category is a Bi-Terminal Object in the Bicategory of Categories.