Category

Types of category

• 0――
• Discrete category
• Groupoid
• Disjoint category
• Posetal category
• Thin category
• Skeletal category

Univalence

• Univalent category
• Gaunt category

Evil classification

The following are not invariant under equivalence of categories

• Skeletal category

Properties related to univalence could also, technically, be included here.

#state/develop | #SemBr