Types of Category

Discrete category

A discrete category is a category in which the only morphisms are identity morphisms. #m/def/cat

Any Class of objects may be viewed as a discrete category. The , the Initial Object in , is itself a discrete category.

It is itself a Disjoint category, Groupoid, and Posetal category.

#state/tidy | #SemBr