@hackage / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads