kan-extensions-5.2.5: 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
-
Control
- Comonad
- Monad
- Data
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
Modules