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

Made Density, Codensity, Kan and Lan polykinded. #40

Closed Icelandjack closed 7 years ago

Icelandjack commented 7 years ago

Fixes #29, #31