LIPIcs-CALCO-2021-10.pdf (852.48 kB)
On doctrines and cartesian bicategories
conference contribution
posted on 2023-06-10, 06:24 authored by Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel SobocinskiWe 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.
History
Publication status
- Published
File Version
- Published version
Journal
Leibniz International Proceedings in Informatics, LIPIcsISSN
1868-8969Publisher
Schloss Dagstuhl – Leibniz Center for InformaticsExternal DOI
Volume
211Page range
1-17Event name
The 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)Event location
Salzburg, AustriaEvent type
conferenceEvent date
August 30 – September 3, 2021ISBN
9783959772129Department affiliated with
- Informatics Publications
Full text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2023-03-02First Open Access (FOA) Date
2023-03-02First Compliant Deposit (FCD) Date
2023-03-02Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC