subcategory,supercategory,kind
Set,Pfn,total restriction
Top,AdmRep,total restriction
FinOrd,FinSet,skeleton
Mat_k,FinVect_k,skeleton
Pos,Pros,skeleton
BanAlg,Ban_k,semigroups
Quant,SupLat,semigroups
SemiGrp,Set,semigroups
Ring,Set,rings
SRing,SSet,rings
TopRing,Top,rings
Ab,Grp,reflection
AbTorF,Ab,reflection
CRing,Ring,reflection
Cat,SSet,reflection
Comp,Top,reflection
CompMet,Met,reflection
*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
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
Frm,DistLat,plain
Frm,SupLat,plain
Grp,Mon,plain
HeytAlg,Pos,plain
KV,RT(K₂),plain
LMet,Top,plain
Lat,Pos,plain
Lat,SemiLat,plain
Man,PDiff,plain
Mat_R,Mat_SR,plain
Mat_k,Mat_R,plain
Mat_k,Mat_SR,plain
Met,PseudoMet,plain
Mon,SemiGrp,plain
PDiff,Top,plain
PROP,MonCat,plain
Poiss,Man,plain
Pos,Cat,plain
Pos,Set,plain
Pros,Set,plain
PseudoMet,SymLMet,plain
Ring,Rng,plain
Ring,SemiRing,plain
SMan,STop,plain
SemiLat,CMon,plain
SemiLat,Pos,plain
SemiRing,Set,plain
Set,Ass,plain
Set,Cat,plain
Set,Set*,plain
SupLat,CompLat,plain
SymLMet,LMet,plain
Top,AdmRep,plain
Top,Set,plain
TopMan,Comp,plain
TopVect,Top,plain
Tor,Grp,plain
TracedSymmMonCat,SymmMonCat,plain
Tych,Haus,plain
Δ,FinOrd,plain
Δ,Pos,plain
Alg(Ab),Mod(Ab),monoids
CMon,Mon,monoids
Mon,Set,monoids
MonCat,Cat,monoids
Ring,Ab,monoids
TopMon,Top,monoids
Ab,Ab,groups
Ab,Grp,groups
Ab,Mon,groups
FinGrp,FinSet,groups
Grp,Set,groups
LieGrp,Man,groups
SGrp,SSet,groups
TopGrp,Top,groups
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
Inj,Set,essentially wide
Pfn,Rel,essentially wide
Surj,Set,essentially wide
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
Bij,Set,core
Hilb₀,Hilb,core
Perm,FinSet,core
SymmRel,Rel,core
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
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
LieAlg_k,Vect_k,Lie algebras
LieRing,Ab,Lie algebras
SLieAlg_k,SSet,Lie algebras
SupLieAlg_k,SupVect_k,Lie algebras
Ab,Set,Abelian groups
SAb,SSet,Abelian groups