Types of Category

Thin category

A thin category is locally small category where there is at most one morphism in every hom-set. #m/def/cat That is,

These constitute preorders-as-categories. The additional condition of being a Skeletal category, makes a Posetal category.

#state/tidy | #SemBr | #lang/en