Category Theory - Part 5 of 6
summary
Clear statement: adjunctions produce concrete maps (unit and counit) and give monads; demonstrated with concrete examples and constructions, not only words. Examples: currying as an adjunction (L = − × A, R = (−)^A with explicit unit/eval), Set ↔ Par via +1 (partial functions ↔ total into Y+1), and free/forgetful Set ↔ Mon (singleton unit, fold counit). Transcript is raw machine captions and there are no slides; constructions are written out and checked, so the talk is useful if those concrete maps and constructions matter.
AI-written summary · about
chapters (7)
- 0:00Start
- 0:40Junctions
- 3:46Functors
- 11:44Isomorphism
- 13:56Category Sets and Partial Functions
- 14:25Case for the Partial Function
- 39:47Triangle Laws
related talks
38mCategory Theory as a Tool for Thought
01h 15mA Crash Course in Category Theory
45mCategory Theory for People who Can't be Bothered to Learn It (Part 1)
36mCategory Theory: An Abstraction for Anything
51mCategory Theory for People who Can't be Bothered to Learn It (Part 2)
01h 11mHands on Chat About Categories
45mA practical introduction to Category Theory
48mCategory Theory: You Already Know It