Category Theory for People who Can't be Bothered to Learn It (Part 2)
summary
Workshop demonstrates concrete code translations between JavaScript and Haskell and claims category ideas pay off in everyday programming: composition, identity, functor laws, and structure‑preserving maps. Exercises show functors mapping objects and arrows, examples include Maybe and List, and polymorphic functions are tied to the “theorems for free” idea. It also builds toward natural transformations, with a homework proof (safeHead/List→Maybe) and live coding proofs of the functor laws.
AI-written summary · about
chapters (6)
- 0:00Start
- 1:35Types of functions
- 3:42Composition is like brewing beer
- 4:49definitions
- 21:26important concepts
- 41:41Natural Transformations
related talks
55mCategory Theory - Part 3 of 6
48mCategory Theory: You Already Know It
36mCategory Theory: An Abstraction for Anything
01h 15mA Crash Course in Category Theory
01h 00mCategory Theory - Part 4 of 6
38mCategory Theory as a Tool for Thought
45mA practical introduction to Category Theory
46mChasing Arrows, in categories containing functors and monads