search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
78 stars 33 forks source link

[Ask] How to hoist monad on CoT #33

Open syaiful6 opened 7 years ago

syaiful6 commented 7 years ago

i need somehow to hoist underlying monad on CoT, is it possible?