catabase
vertical_2cat | horizontal_2cat | 2cells_hr | kind |
---|---|---|---|
Lex | Topos | natural transformations | plain |
Prof | Cat | natural transformations | plain |
Rel | Set | subrelation inclusions | plain |
vertical_2cat | horizontal_2cat | 2cells_hr | kind |
---|---|---|---|
Lex | Topos | natural transformations | plain |
Prof | Cat | natural transformations | plain |
Rel | Set | subrelation inclusions | plain |