1 paper · 1 filter
Filippo Bonchi, Alessio Santamaria, Jens Seeber +1
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of a…