issues
search
ekmett
/
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
79
stars
33
forks
source link
Some more instances for Co- and Contravariant Day
#58
Closed
sjoerdvisscher
closed
11 months ago