catabase
| vertical_2cat | horizontal_2cat | 2cells_hr | kind |
|---|---|---|---|
| Lex | Topos | natural transformations | plain |
| Prof | Cat | natural transformations | plain |
| Rel | Set | subrelation inclusions | plain |
| Set | Pfn | equivalences of restricted arrows | total restriction |
| Top | AdmRep | equivalences of restricted arrows | total restriction |