Add categorical fine print about `Coyoneda f` where `f` is not itself a functor

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

Other

79 stars 33 forks source link

Closed iblech closed 8 years ago

iblech commented 8 years ago

I'm happy to reword the explanation if you have any comments. Also I would totally understand if you don't want to stress this categorical subtlety.