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