extra credit Search 85,062 technologies ⌘K Download for Mac

kan-extensions

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

↑↓ move ↵ open