4 lines
137 B
Text
4 lines
137 B
Text
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
|
|
(co)monads.
|
|
|
|
WWW: https://github.com/ekmett/kan-extensions
|