catabase
This data as json, CSV
| subcategory | supercategory | kind |
| MonCat |
Cat |
monoids |
| NormRing |
NormGrp |
commutative monoids |
| PDiff |
PL |
equivalence |
| PDiff |
Top |
plain |
| PL |
PDiff |
equivalence |
| PROP |
CPROP |
full |
| PROP |
MonCat |
plain |
| Perm |
FinSet |
core |
| Perm |
Perm |
contravariant equivalence |
| Pfn |
Rel |
essentially wide |
| Pfn |
Set* |
equivalence |
| Poiss |
Man |
plain |
| Pos |
Cat |
plain |
| Pos |
Pros |
skeleton |
| Pos |
Set |
plain |
| Prof |
Prof |
contravariant equivalence |
| Pros |
Set |
plain |
| PseudoMet |
SymLMet |
plain |
| Quant |
SupLat |
semigroups |
| Quiv |
Cat |
full |
| RCat |
Cat |
full |
| Rel |
Rel |
contravariant equivalence |
| Ring |
Ab |
monoids |
| Ring |
Rng |
plain |
| Ring |
SemiRing |
plain |
| Ring |
Set |
rings |
| SAb |
SSet |
Abelian groups |
| SGrp |
SSet |
groups |
| SLieAlg_k |
SSet |
Lie algebras |
| SMan |
STop |
plain |
| SRing |
SSet |
rings |
| SemiGrp |
Set |
semigroups |
| SemiLat |
CMon |
plain |
| SemiLat |
Pos |
plain |
| SemiRing |
Set |
plain |
| Set |
Ass |
plain |
| Set |
Cat |
plain |
| Set |
Pfn |
total restriction |
| Set |
Set* |
plain |
| Set* |
Pfn |
equivalence |
| SoberTop |
SpLoc |
equivalence |
| SoberTop |
Top |
full |
| SpLoc |
Loc |
full |
| SpLoc |
SoberTop |
equivalence |
| Span(Set) |
Span(Set) |
contravariant equivalence |
| Ste |
TopVect |
full |
| SupLat |
CompLat |
plain |
| SupLieAlg_k |
SupVect_k |
Lie algebras |
| Surj |
Set |
essentially wide |
| SymLMet |
LMet |
plain |
| SymmMonCat |
BrMonCat |
full |
| SymmRel |
Rel |
core |
| Top |
AdmRep |
plain |
| Top |
AdmRep |
total restriction |
| Top |
Set |
plain |
| TopGrp |
Top |
groups |
| TopMan |
Comp |
plain |
| TopMon |
Top |
monoids |
| TopRing |
Top |
rings |
| TopVect |
Top |
plain |
| Tor |
Grp |
plain |
| TracedSymmMonCat |
SymmMonCat |
plain |
| Tych |
Haus |
plain |
| Vect_k |
Mod(Ab) |
full |
| nCob |
nCob |
contravariant equivalence |
| Δ |
Cat |
full |
| Δ |
FinOrd |
plain |
| Δ |
Pos |
plain |