Types of category

Skeletal category

A skeletal category is a category in which a morphism 𝑓 is an Isomorphism iff it is an Automorphism. cat Given a category 𝖒, we may define the Skeleton category Sk⁑𝖒 by collapsing isomorphism classes of objects.

Properties


tidy | SemBr | en