kan-extensions-5.2.3: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

kan-extensions-5.2.3: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

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

Modules