Types of category

Skeletal category

A skeletal category is a category in which a morphism 𝑓 is an Isomorphism iff it is an Automorphism. #m/def/cat/evil Given a category 𝖢, we may define the Skeleton category Sk⁡𝖢 by collapsing isomorphism classes of objects.

Properties

• Skeletal categories are equivalent iff they are isomorphic

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