Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85060190543&origin=inward&txGid=1fcc624b45f06172a481c80ebb9737d6
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
Lifting twisted coreflections against delta lenses
Clarke, Bryce James
Theory and Applications of Categories
2024
/
p. 838 - 877 : ill
http://www.tac.mta.ca/tac/volumes/41/26/41-26abs.html
https://www.scopus.com/sourceid/145268
https://www.scopus.com/record/display.uri?eid=2-s2.0-85202056434&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE%28%22Lifting+twisted+coreflections+against+delta+lenses%22%29&sessionSearchId=05a3cf5736f124aa5e216a7802284d7e&relpos=0