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