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
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85060190543&origin=inward&txGid=1fcc624b45f06172a481c80ebb9737d6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000452745300024
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory