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 by collapsing isomorphism classes of objects. Properties Skeletal categories are equivalent iff they are isomorphic #state/tidy | #SemBr | #lang/en