TY - RPRT TI - Codensity Lifting of Monads and its Dual AU - Shin-ya Katsumata AU - Tetsuya Sato AU - Tarmo Uustalu PY - 2018 DO - 10.23638/lmcs-14(4:6)2018 UR - https://arxiv.org/abs/1810.07972 ID - 1810.07972 ER -