catabase
This data as json, CSV
| subcategory | supercategory | kind |
| CompCat |
*Aut |
plain |
| 1 |
1 |
contravariant equivalence |
| Cat |
2Cat |
plain |
| DblCat |
2Cat |
plain |
| Ab |
Ab |
groups |
| AbTor |
Ab |
plain |
| AbTorF |
Ab |
reflection |
| CMon |
Ab |
plain |
| CRing |
Ab |
commutative monoids |
| LieRing |
Ab |
Lie algebras |
| Ring |
Ab |
monoids |
| AdicCRing |
AdicRing |
plain |
| EffAdmRep |
AdmRep |
plain |
| Top |
AdmRep |
plain |
| Top |
AdmRep |
total restriction |
| Set |
Ass |
plain |
| BanAlg |
Ban_k |
semigroups |
| CartSp |
Ban_k |
plain |
| Hilb |
Ban_k |
full |
| Cat |
BiCat |
plain |
| CompBoolAlg |
BoolAlg |
plain |
| SymmMonCat |
BrMonCat |
full |
| SemiLat |
CMon |
plain |
| PROP |
CPROP |
full |
| Field |
CRing |
full |
| DagCat |
Cat |
plain |
| MonCat |
Cat |
monoids |
| Pos |
Cat |
plain |
| Quiv |
Cat |
full |
| RCat |
Cat |
full |
| Set |
Cat |
plain |
| Δ |
Cat |
full |
| DGCAlg |
Ch.(Vect_k) |
commutative monoids |
| CW |
Comp |
plain |
| TopMan |
Comp |
plain |
| FinSet |
CompBoolAlg |
contravariant equivalence |
| DagCompCat |
CompCat |
plain |
| CompBoolAlg |
CompLat |
plain |
| SupLat |
CompLat |
plain |
| BanRing |
CompNormGrp |
commutative monoids |
| CPO |
DCPO |
plain |
| DagCompCat |
DagCat |
plain |
| CartSp |
Diff |
plain |
| BoolAlg |
DistLat |
plain |
| Frm |
DistLat |
plain |
| Ass |
Eff |
plain |
| Δ |
FinOrd |
plain |
| CompBoolAlg |
FinSet |
contravariant equivalence |
| FinGrp |
FinSet |
groups |
| FinOrd |
FinSet |
skeleton |
| Perm |
FinSet |
core |
| FinVect_q |
FinVect_k |
full |
| Mat_k |
FinVect_k |
equivalence |
| Mat_k |
FinVect_k |
skeleton |
| Loc |
Frm |
contravariant equivalence |
| Ab |
Grp |
groups |
| Ab |
Grp |
reflection |
| FinGrp |
Grp |
full |
| Tor |
Grp |
plain |
| Comp |
Haus |
plain |
| Tych |
Haus |
plain |
| BoolAlg |
HeytAlg |
plain |
| FinHilb |
Hilb |
full |
| Hilb |
Hilb |
contravariant equivalence |
| Hilb₀ |
Hilb |
core |
| Ho(Grpd) |
Ho(Cat) |
full |
| EffAdmRep |
KV |
plain |
| SymLMet |
LMet |
plain |
| BoolAlg |
Lat |
full |
| CompLat |
Lat |
plain |
| DistLat |
Lat |
plain |
| Frm |
Loc |
contravariant equivalence |
| SpLoc |
Loc |
full |
| Diff |
Man |
plain |
| LieGrp |
Man |
groups |
| Poiss |
Man |
plain |
| Mat_k |
Mat_R |
plain |
| Mat_R |
Mat_SR |
plain |
| Mat_k |
Mat_SR |
plain |
| FinVect_k |
Mat_k |
equivalence |
| Ban_k |
Met |
plain |
| CompMet |
Met |
reflection |
| Alg(Ab) |
Mod(Ab) |
monoids |
| CommAlg(Ab) |
Mod(Ab) |
commutative monoids |
| Vect_k |
Mod(Ab) |
full |
| Ab |
Mon |
groups |
| CMon |
Mon |
monoids |
| Grp |
Mon |
plain |
| BrMonCat |
MonCat |
full |
| PROP |
MonCat |
plain |
| NormRing |
NormGrp |
commutative monoids |
| Man |
PDiff |
plain |
| PL |
PDiff |
equivalence |
| PDiff |
PL |
equivalence |
| Perm |
Perm |
contravariant equivalence |
| Set |
Pfn |
total restriction |
| Set* |
Pfn |
equivalence |
| DCPO |
Pos |
plain |
| HeytAlg |
Pos |
plain |
| Lat |
Pos |
plain |
| SemiLat |
Pos |
plain |