Category Theory for People who Can't be Bothered to Learn It (Part 1)
summary
Claims that a few fundamental categorical ideas yield practical payoffs and demonstrates them with live code in JavaScript and Haskell, exercises from a GitHub repo, and simple concrete examples like a Day → Lunch mapping. The session makes precise distinctions—total vs partial, injective, surjective and isomorphism—shows how to make a partial function total and when inverses exist, frames arrows as structure-preserving maps, and runs pair exercises so the concepts actually get implemented rather than merely named.
AI-written summary · about
chapters (4)
related talks
01h 15mA Crash Course in Category Theory
36mCategory Theory: An Abstraction for Anything
01h 00mCategory Theory - Part 4 of 6
38mCategory Theory as a Tool for Thought
55mCategory Theory - Part 3 of 6
48mCategory Theory: You Already Know It
01h 01mCategory Theory - Part 1 of 6
45mA practical introduction to Category Theory