2026-07-24T14:22:24Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:15365 2024-03-06T10:55:14Z ddc:004 open_access

On Doctrines and Cartesian Bicategories Bonchi, Filippo Santamaria, Alessio Seeber, Jens Sobociński, Paweł Cartesian bicategories elementary existential doctrines string diagram We study the relationship between cartesian bicategories and a specialisation of Lawvere’s hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the former in algebraic terms based on a string diagrammatic calculus, the latter in universal terms using the fundamental notion of adjoint functor. We prove that these two approaches are related by an adjunction, which can be strengthened to an equivalence by imposing further constraints on doctrines. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Filippo Bonchi and Alessio Santamaria and Jens Seeber and Paweł Sobociński 2021 Is Part Of LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2021.10 urn:nbn:de:0030-drops-153656 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.10 eng https://creativecommons.org/licenses/by/4.0/legalcode