print

Codensity lifting of monads and its dual

author
Katsumata, Shin-ya
Sato, Tetsuya
Uustalu, Tarmo
statement of authorship
Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
vol. 14, 4
year of publication
2018
pages
p. 1-31
url
https://doi.org/10.23638/LMCS-14(4:6)2018
subject term
monaadid
algebra
arvutiteadus
keyword
monad
comonad
lifting
fibration
Giry monad
ISSN
1860-5974
notes
Bibliogr. p. 29-31
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
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. https://doi.org/10.23638/LMCS-14(4:6)2018