Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Why do you think that https://github.com/sjoerdvisscher/data-category is a good alternative to kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Why do you think that https://github.com/sjoerdvisscher/data-category is a good alternative to kan-extensions