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 |