All Subcategories
A subcategory has some of the objects and arrows of its parent category. There are several common special cases:
- Full subcategories have all of the parent category's arrows.
- Essentially wide subcategories have all of the parent category's objects.
all_subcategories (view)
168 rows sorted by supercategory
This data as json, CSV (advanced)
subcategory | supercategory ▼ | kind |
---|---|---|
SemiLat | Pos | plain |
Δ | Pos | plain |
Prof | Prof | contravariant equivalence |
Pos | Pros | skeleton |
Met | PseudoMet | plain |
DGph | Quiv | plain |
Eff | RT(K₁) | plain |
AdmRep | RT(K₂) | plain |
KV | RT(K₂) | plain |
Pfn | Rel | essentially wide |
Rel | Rel | contravariant equivalence |
SymmRel | Rel | core |
CRing | Ring | reflection |
Ring | Rng | plain |
Cat | SSet | reflection |
SAb | SSet | Abelian groups |
SGrp | SSet | groups |
SLieAlg_k | SSet | Lie algebras |
SRing | SSet | rings |
SMan | STop | plain |
Mon | SemiGrp | plain |
Lat | SemiLat | plain |
Ring | SemiRing | plain |
Ab | Set | Abelian groups |
Aut | Set | plain |
Bij | Set | core |
CMon | Set | commutative monoids |
FinSet | Set | full |
Grp | Set | groups |
Inj | Set | essentially wide |
Mon | Set | monoids |
Pos | Set | plain |
Pros | Set | plain |
Ring | Set | rings |
SemiGrp | Set | semigroups |
SemiRing | Set | plain |
Surj | Set | essentially wide |
Top | Set | plain |
CMon | Set* | plain |
Pfn | Set* | equivalence |
Set | Set* | plain |
SpLoc | SoberTop | equivalence |
SoberTop | SpLoc | equivalence |
Span(Set) | Span(Set) | contravariant equivalence |
Ban_k | Ste | full |
Frm | SupLat | plain |
Quant | SupLat | semigroups |
SupLieAlg_k | SupVect_k | Lie algebras |
PseudoMet | SymLMet | plain |
*Aut | SymmMonCat | plain |
TracedSymmMonCat | SymmMonCat | plain |
Comp | Top | reflection |
Haus | Top | full |
LMet | Top | plain |
PDiff | Top | plain |
SoberTop | Top | full |
TopGrp | Top | groups |
TopMon | Top | monoids |
TopRing | Top | rings |
TopVect | Top | plain |
AdicRing | TopRing | plain |
Ste | TopVect | full |
AbTor | Tor | plain |
CompCat | TracedSymmMonCat | plain |
CartSp | Vect_k | plain |
FinVect_k | Vect_k | full |
LieAlg_k | Vect_k | Lie algebras |
nCob | nCob | contravariant equivalence |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "all_subcategories" AS select subcategory, parent as supercategory, 'plain' as kind from subcategories UNION select * from all_essentially_wide_subcategories union select * from all_full_subcategories union select cat1, cat2, 'equivalence' from equivalent_categories UNION select cat2, cat1, 'equivalence' from equivalent_categories UNION select category, op, 'contravariant equivalence' from opposite_categories UNION select op, category, 'contravariant equivalence' from opposite_categories UNION select internal_abelian_groups, parent, 'Abelian groups' from categories_of_abelian_groups union select internal_commutative_monoids, parent, 'commutative monoids' from categories_of_commutative_monoids union select internal_groups, parent, 'groups' from categories_of_groups union select internal_lie_algebras, parent, 'Lie algebras' from categories_of_lie_algebras union select internal_monoids, parent, 'monoids' from categories_of_monoids union select internal_rings, parent, 'rings' from categories_of_rings union select internal_semigroups, parent, 'semigroups' from categories_of_semigroups;