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

Mention more prominently that Coyoneda is free functor #55

Closed tomjaguarpaw closed 5 years ago

tomjaguarpaw commented 6 years ago

Any chance of getting this documentation patch merged?

tomjaguarpaw commented 5 years ago

Ping.

iblech commented 5 years ago

Just for what it's worth, I'm not in any sense Kmett, but the change looks good!

As you say, the fact that Coyoneda is the free functor is already recorded in the documentation, but could be mentioned more prominently.

tomjaguarpaw commented 5 years ago

@RyanGlScott @ekmett @phaazon @glguy @Icelandjack

Could this please be merged!? It's a very small documentation patch that makes the library ever so slightly more approachable and less daunting for the inexperienced.

RyanGlScott commented 5 years ago

Apologies for the delay on this one.

tomjaguarpaw commented 5 years ago

Thanks!