Decomposing comonad morphisms
author
statement of authorship
Ahman, D., Uustalu, T.
source
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
art. 14 ; 20 p
series
Leibniz international proceedings in informatics (LIPIcs) ; 139
conference name, date
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, University College London, United Kingdom, 3-6 June, 2019
conference location
London, United Kingdom
subject term
kvartiil
category (general)
category (sub)
keyword
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
ISSN
18688969
ISBN
978-395977120-7
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Ahman, D., Uustalu, T. Decomposing comonad morphisms // 8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019. Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 14 ; 20 p. (Leibniz international proceedings in informatics (LIPIcs) ; 139).