catabase
| subcategory | supercategory |
|---|---|
| Ban_k | Ste |
| BoolAlg | Lat |
| BrMonCat | MonCat |
| Field | CRing |
| FinGrp | Grp |
| FinHilb | Hilb |
| FinSet | Set |
| FinVect_k | Vect_k |
| FinVect_q | FinVect_k |
| Haus | Top |
| Hilb | Ban_k |
| Ho(Grpd) | Ho(Cat) |
| PROP | CPROP |
| Quiv | Cat |
| RCat | Cat |
| SoberTop | Top |
| SpLoc | Loc |
| Ste | TopVect |
| SymmMonCat | BrMonCat |
| Vect_k | Mod(Ab) |
| Δ | Cat |