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

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.