catabase
vertical_2cat | horizontal_2cat | 2cells_hr | kind |
---|---|---|---|
Set | Pfn | equivalences of restricted arrows | total restriction |
Top | AdmRep | equivalences of restricted arrows | total restriction |
vertical_2cat | horizontal_2cat | 2cells_hr | kind |
---|---|---|---|
Set | Pfn | equivalences of restricted arrows | total restriction |
Top | AdmRep | equivalences of restricted arrows | total restriction |