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