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
ISSN
18688969
ISBN
978-395977120-7
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
category (general)
category (sub)
Reserch Group
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).