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