Types of category
graph TD category empty thin skeletal posetal groupoid disjoint connex thin-->posetal skeletal-->posetal groupoid-->discrete disjoint-->discrete discrete-->empty posetal-->discrete category-->thin category-->skeletal category-->groupoid category-->disjoint posetal-->connex connex-->empty
- Discrete category
- Connex category
- Groupoid
- Disjoint category
- Posetal category
- Thin category
- Skeletal category
#state/develop | #SemBr