Decomposing comonad morphisms
autor
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
ISSN
18688969
ISBN
978-395977120-7
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
cofunctors
comonad morphisms and comonad coalgebras
container comonads
container functors (polynomial functors)
kategooria (üld)
kategooria (alam)
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).