Category Theory: You Already Know It
summary
Explains that category theory is a practical toolkit for programmers by showing how core ideas—abstraction, composition, and identity—already appear in Scala code. Uses concrete Scala examples: map demonstrates that List is a functor, Maybe (Option) and List behave as functors and monads, and Scala types-and-functions form a category with composition, identity laws, and isomorphisms to make reasoning predictable; examples are conceptual rather than formal proofs.
AI-written summary · about
chapters (14)
- 0:00Intro
- 2:24Disclaimer
- 3:58Why Category Theory?
- 8:40What's Category Theory?
- 12:43Essence of Category Theory
- 13:36Abstraction
- 19:17Composition
- 23:05Identity
- 33:37Vocabulary in Category Theory
- 35:51You know Category in Code
- 39:28Examples of Category
- 41:08What Category Theory can do?
- 41:37No Silver Bullet
- 43:17Conclusion
related talks
45mA practical introduction to Category Theory
36mCategory Theory: An Abstraction for Anything
51mCategory Theory for People who Can't be Bothered to Learn It (Part 2)
01h 15mA Crash Course in Category Theory
38mCategory Theory as a Tool for Thought
01h 11mHands on Chat About Categories
55mCategory Theory - Part 3 of 6
46mChasing Arrows, in categories containing functors and monads