catabase
subcategory | supercategory | kind |
---|---|---|
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 |