Types of category

Skeletal category

A strict category is skeletal iff we have #m/def/cat/evil

Given a strict 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