catabase
This data as json, CSV
| subcategory | supercategory | kind |
| Ab |
Set |
Abelian groups |
| SAb |
SSet |
Abelian groups |
| LieAlg_k |
Vect_k |
Lie algebras |
| LieRing |
Ab |
Lie algebras |
| SLieAlg_k |
SSet |
Lie algebras |
| SupLieAlg_k |
SupVect_k |
Lie algebras |
| BanRing |
CompNormGrp |
commutative monoids |
| CMon |
Set |
commutative monoids |
| CRing |
Ab |
commutative monoids |
| CommAlg(Ab) |
Mod(Ab) |
commutative monoids |
| DGCAlg |
Ch.(Vect_k) |
commutative monoids |
| NormRing |
NormGrp |
commutative monoids |
| 1 |
1 |
contravariant equivalence |
| CompBoolAlg |
FinSet |
contravariant equivalence |
| FinSet |
CompBoolAlg |
contravariant equivalence |
| Frm |
Loc |
contravariant equivalence |
| Hilb |
Hilb |
contravariant equivalence |
| Loc |
Frm |
contravariant equivalence |
| Perm |
Perm |
contravariant equivalence |
| Prof |
Prof |
contravariant equivalence |
| Rel |
Rel |
contravariant equivalence |
| Span(Set) |
Span(Set) |
contravariant equivalence |
| nCob |
nCob |
contravariant equivalence |
| Bij |
Set |
core |
| Hilb₀ |
Hilb |
core |
| Perm |
FinSet |
core |
| SymmRel |
Rel |
core |
| FinVect_k |
Mat_k |
equivalence |
| Mat_k |
FinVect_k |
equivalence |
| PDiff |
PL |
equivalence |
| PL |
PDiff |
equivalence |
| Pfn |
Set* |
equivalence |
| Set* |
Pfn |
equivalence |
| SoberTop |
SpLoc |
equivalence |
| SpLoc |
SoberTop |
equivalence |
| Inj |
Set |
essentially wide |
| Pfn |
Rel |
essentially wide |
| Surj |
Set |
essentially wide |
| Ban_k |
Ste |
full |
| BoolAlg |
Lat |
full |
| BrMonCat |
MonCat |
full |
| Field |
CRing |
full |
| FinGrp |
Grp |
full |
| FinHilb |
Hilb |
full |
| FinSet |
Set |
full |
| FinVect_k |
Vect_k |
full |
| FinVect_q |
FinVect_k |
full |
| Haus |
Top |
full |
| Hilb |
Ban_k |
full |
| Ho(Grpd) |
Ho(Cat) |
full |
| PROP |
CPROP |
full |
| Quiv |
Cat |
full |
| RCat |
Cat |
full |
| SoberTop |
Top |
full |
| SpLoc |
Loc |
full |
| Ste |
TopVect |
full |
| SymmMonCat |
BrMonCat |
full |
| Vect_k |
Mod(Ab) |
full |
| Δ |
Cat |
full |
| Ab |
Ab |
groups |
| Ab |
Grp |
groups |
| Ab |
Mon |
groups |
| FinGrp |
FinSet |
groups |
| Grp |
Set |
groups |
| LieGrp |
Man |
groups |
| SGrp |
SSet |
groups |
| TopGrp |
Top |
groups |
| Alg(Ab) |
Mod(Ab) |
monoids |
| CMon |
Mon |
monoids |
| Mon |
Set |
monoids |
| MonCat |
Cat |
monoids |
| Ring |
Ab |
monoids |
| TopMon |
Top |
monoids |
| *Aut |
SymmMonCat |
plain |
| AbTor |
Ab |
plain |
| AbTor |
Tor |
plain |
| AdicCRing |
AdicRing |
plain |
| AdicRing |
TopRing |
plain |
| AdmRep |
RT(K₂) |
plain |
| Ass |
Eff |
plain |
| Aut |
Set |
plain |
| Ban_k |
Met |
plain |
| BoolAlg |
DistLat |
plain |
| BoolAlg |
HeytAlg |
plain |
| CMon |
Ab |
plain |
| CMon |
Set* |
plain |
| CPO |
DCPO |
plain |
| CW |
Comp |
plain |
| CartSp |
Ban_k |
plain |
| CartSp |
Diff |
plain |
| CartSp |
Vect_k |
plain |
| Cat |
2Cat |
plain |
| Cat |
BiCat |
plain |
| Comp |
Haus |
plain |
| CompBoolAlg |
BoolAlg |
plain |
| CompBoolAlg |
CompLat |
plain |
| CompCat |
*Aut |
plain |
| CompCat |
TracedSymmMonCat |
plain |
| CompLat |
Lat |
plain |
| DCPO |
Pos |
plain |
| DGph |
Quiv |
plain |