On doctrines and Cartesian bicategories

author
Santamaria, Alessio
Seeber, Jens
statement of authorship
Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński
source
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
location of publication
Dagstuhl
year of publication
pages
p. 10:1−10:7
series
Leibniz international proceedings in informatics (LIPIcs) ; 211
subject term
kvartiil
Q3
category (general)
keyword
cartesian bicategories
elementary existential doctrines
ISSN
1868-8969
ISBN
978-3-95977-212-9
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
Bonchi, F., Santamaria, A., Seeber, J., Sobocinski, P.M. On doctrines and Cartesian bicategories // CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings. Dagstuhl : Dagstuhl Publishing, 2021. p. 10:1−10:7. (Leibniz international proceedings in informatics (LIPIcs) ; 211). https://doi.org/10.4230/LIPIcs.CALCO.2021.10