RECENT POSTS

Hs-kan-extensions

May 26, 2018

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and codensity comonads.

WWW https//github.com/ekmett/kan-extensions