Empty Category
The empty category is the category with no objects and hence no morphisms
An empty category is the initial object in Category of small categories.
The empty category is the category with no objects and hence no morphisms
An empty category is the initial object in Category of small categories.