path: root/math/hs-kan-extensions/pkg-descr

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
(co)monads.

WWW: https://github.com/ekmett/kan-extensions