full record print

On doctrines and Cartesian bicategories

author
Bonchi, Filippo
Santamaria, Alessio
Seeber, Jens
Sobocinski, Pawel Maria
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
publisher
year of publication
pages
p. 10:1−10:7
series
Leibniz international proceedings in informatics (LIPIcs) ; 211
url
ISSN
1868-8969
ISBN
978-3-95977-212-9
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
cartesian bicategories
elementary existential doctrines
string diagrams
category (general)
category (sub)
Reserch Group
Laboratory for compositional systems and methods
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