Codensity lifting of monads and its dual
autor
vastutusandmed
Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 14, 4
ilmumisaasta
leheküljed
p. 1-31
ISSN
1860-5974
märkused
Bibliogr. p. 29-31
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
monad
comonad
lifting
fibration
Giry monad
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Uurimisrühm
Katsumata, S., Sato, T., Uustalu, T. Codensity lifting of monads and its dual // Logical methods in computer science (2018) vol. 14, 4, p. 1-31.