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
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