kan-extensions (hackage): Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
Keywords: bsd3|comonads|data-structures|functors|library|monads