kan-extensions
Haskell
★ 0
updated 8y ago
⑂ fork
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
No plain-English explanation yet — one is being written right now. Check back in a minute.