Empty Category
The empty category is the category with no objects and hence no morphisms
An empty category is the initial object in
#state/tidy | #SemBr
The empty category is the category with no objects and hence no morphisms
An empty category is the initial object in
#state/tidy | #SemBr