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