/kan-extensions

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

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.