catabase

Custom SQL query returning 5 rows (hide)

This data as json, CSV

vertical_2cathorizontal_2cat2cells_hrkind
Top AdmRep equivalences of restricted arrows total restriction
Prof Cat natural transformations plain
Set Pfn equivalences of restricted arrows total restriction
Rel Set subrelation inclusions plain
Lex Topos natural transformations plain