The Origins of Free
summary
Starts from universal algebra and proves the concrete claim that the usual Free Monad is the term algebra made initial then quotiented by laws: build term algebra (syntax trees), define homomorphisms, add variables to get T Σ X, impose equations and form a quotient by equations, and show the free object extends any variable valuation uniquely. Shows working implementations and translations in Haskell and Scala, explains why Scala’s Functor constraint and Haskell’s Join/pure representations differ but are isomorphic.
AI-written summary · about
chapters (4)
- 0:00Start
- 0:31THE ORIGINS OF FREE -Adam Warski
- 53:05SLAMDATA Visual analytics platform for NoSQL databases
- 53:21FANTASYLAND
related talks
40mThe Origins of Free
52mBake Real-life Apps with a Handful of Free, Coproducts & Types
49mFree vs Tagless Final: What, Why, When?
38mCategory Theory as a Tool for Thought
01h 15mA Crash Course in Category Theory
49mSemantic Foundations for Probabilistic Programming
46mChasing Arrows, in categories containing functors and monads
01h 11mHands on Chat About Categories