Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Why do you think that https://github.com/phadej/range-set-list 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/phadej/range-set-list is a good alternative to kan-extensions