catabase
This data as json, CSV
| subcategory | supercategory | kind |
| *Aut |
SymmMonCat |
plain |
| 1 |
1 |
contravariant equivalence |
| Ab |
Ab |
groups |
| Ab |
Grp |
groups |
| Ab |
Grp |
reflection |
| Ab |
Mon |
groups |
| Ab |
Set |
Abelian groups |
| AbTor |
Ab |
plain |
| AbTor |
Tor |
plain |
| AbTorF |
Ab |
reflection |
| AdicCRing |
AdicRing |
plain |
| AdicRing |
TopRing |
plain |
| AdmRep |
RT(K₂) |
plain |
| Alg(Ab) |
Mod(Ab) |
monoids |
| Ass |
Eff |
plain |
| Aut |
Set |
plain |
| BanAlg |
Ban_k |
semigroups |
| BanRing |
CompNormGrp |
commutative monoids |
| Ban_k |
Met |
plain |
| Ban_k |
Ste |
full |
| Bij |
Set |
core |
| BoolAlg |
DistLat |
plain |
| BoolAlg |
HeytAlg |
plain |
| BoolAlg |
Lat |
full |
| BrMonCat |
MonCat |
full |
| CMon |
Ab |
plain |
| CMon |
Mon |
monoids |
| CMon |
Set |
commutative monoids |
| CMon |
Set* |
plain |
| CPO |
DCPO |
plain |
| CRing |
Ab |
commutative monoids |
| CRing |
Ring |
reflection |
| CW |
Comp |
plain |
| CartSp |
Ban_k |
plain |
| CartSp |
Diff |
plain |
| CartSp |
Vect_k |
plain |
| Cat |
2Cat |
plain |
| Cat |
BiCat |
plain |
| Cat |
SSet |
reflection |
| CommAlg(Ab) |
Mod(Ab) |
commutative monoids |
| Comp |
Haus |
plain |
| Comp |
Top |
reflection |
| CompBoolAlg |
BoolAlg |
plain |
| CompBoolAlg |
CompLat |
plain |
| CompBoolAlg |
FinSet |
contravariant equivalence |
| CompCat |
*Aut |
plain |
| CompCat |
TracedSymmMonCat |
plain |
| CompLat |
Lat |
plain |
| CompMet |
Met |
reflection |
| DCPO |
Pos |
plain |
| DGCAlg |
Ch.(Vect_k) |
commutative monoids |
| DGph |
Quiv |
plain |
| DagCat |
Cat |
plain |
| DagCompCat |
CompCat |
plain |
| DagCompCat |
DagCat |
plain |
| DblCat |
2Cat |
plain |
| Diff |
Man |
plain |
| DistLat |
Lat |
plain |
| Eff |
RT(K₁) |
plain |
| EffAdmRep |
AdmRep |
plain |
| EffAdmRep |
KV |
plain |
| Field |
CRing |
full |
| FinGrp |
FinSet |
groups |
| FinGrp |
Grp |
full |
| FinHilb |
Hilb |
full |
| FinOrd |
FinSet |
skeleton |
| FinSet |
CompBoolAlg |
contravariant equivalence |
| FinSet |
Set |
full |
| FinVect_k |
Mat_k |
equivalence |
| FinVect_k |
Vect_k |
full |
| FinVect_q |
FinVect_k |
full |
| Frm |
DistLat |
plain |
| Frm |
Loc |
contravariant equivalence |
| Frm |
SupLat |
plain |
| Grp |
Mon |
plain |
| Grp |
Set |
groups |
| Haus |
Top |
full |
| HeytAlg |
Pos |
plain |
| Hilb |
Ban_k |
full |
| Hilb |
Hilb |
contravariant equivalence |
| Hilb₀ |
Hilb |
core |
| Ho(Grpd) |
Ho(Cat) |
full |
| Inj |
Set |
essentially wide |
| KV |
RT(K₂) |
plain |
| LMet |
Top |
plain |
| Lat |
Pos |
plain |
| Lat |
SemiLat |
plain |
| LieAlg_k |
Vect_k |
Lie algebras |
| LieGrp |
Man |
groups |
| LieRing |
Ab |
Lie algebras |
| Loc |
Frm |
contravariant equivalence |
| Man |
PDiff |
plain |
| Mat_R |
Mat_SR |
plain |
| Mat_k |
FinVect_k |
equivalence |
| Mat_k |
FinVect_k |
skeleton |
| Mat_k |
Mat_R |
plain |
| Mat_k |
Mat_SR |
plain |
| Met |
PseudoMet |
plain |
| Mon |
SemiGrp |
plain |
| Mon |
Set |
monoids |
| MonCat |
Cat |
monoids |