Decomposing comonad morphisms

vastutusandmed
Ahman, D., Uustalu, T.
allikas
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 14 ; 20 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 139
konverentsi nimetus, aeg
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, University College London, United Kingdom, 3-6 June, 2019
konverentsi toimumispaik
London, United Kingdom
märksõna
võtmesõna
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
ISSN
18688969
ISBN
978-395977120-7
märkused
Bibliogr.: 18 ref
TTÜ struktuuriüksus
keel
inglise
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).