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

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