On doctrines and Cartesian bicategories

autor
Santamaria, Alessio
Seeber, Jens
vastutusandmed
Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński
allikas
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
ilmumiskoht
Dagstuhl
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 10:1−10:7
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 211
kvartiil
Q3
kategooria (üld)
kategooria (alam)
võtmesõna
cartesian bicategories
elementary existential doctrines
ISSN
1868-8969
ISBN
978-3-95977-212-9
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
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