Thin category
A thin category is locally small category where there is at most one morphism in every hom-set. cat That is,
These constitute preorders-as-categories. The additional condition of being a Skeletal category, makes a Posetal category.
A thin category is locally small category where there is at most one morphism in every hom-set. cat That is,
These constitute preorders-as-categories. The additional condition of being a Skeletal category, makes a Posetal category.