kan-extensions-4.2.3: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
- Control
- Data
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads