research
∙
06/15/2021
On Doctrines and Cartesian Bicategories
We study the relationship between cartesian bicategories and a specialis...
research
∙
03/20/2020
Cartesian bicategories with choice
Relational structures are emerging as ubiquitous mathematical machinery ...
research
∙
04/20/2018