Initial Category
The initial category is the Category with no objects, and thus no morphisms.
Properties
The initial category is a Bi-Initial Object in the Bicategory of Categories.
The initial category is the Category with no objects, and thus no morphisms.
The initial category is a Bi-Initial Object in the Bicategory of Categories.