search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
78 stars 33 forks source link

Maybe two spelling mistakes in the doc of Ran #44

Closed hawnzug closed 6 years ago

hawnzug commented 6 years ago

Not quite sure, just from my understanding...(new to category theory)

ekmett commented 6 years ago

Thanks!