Back to Search
Start Over
On Doctrines and Cartesian Bicategories
- Source :
- 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
- Publication Year :
- 2021
-
Abstract
- 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.
- Subjects :
- Computer Science - Logic in Computer Science
Mathematics - Category Theory
F.3
F.4
Subjects
Details
- Database :
- arXiv
- Journal :
- 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
- Publication Type :
- Report
- Accession number :
- edsarx.2106.08142
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4230/LIPIcs.CALCO.2021.10