Adjunctions in Everyday Life

on YouTube ↗35m

" summary

Adjunctions claim to be the precise pattern behind monads, products, coproducts and folds and the talk shows concrete instances and constructions in Haskell and Scala. Curry/uncurry is worked out as an adjunction that yields the state monad (unit and join) and the store comonad (extract and duplicate). Integer multiplication/division appears as a Galois connection. Forgetful/free adjoints produce Maybe/Option for “index of”, list as the free monoid and the free monad, with explicit unit/co‑unit formulas.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 1:45Categories
3. 5:44Isomorphism
4. 7:45Junctions in Haskell
5. 14:09State Monad
6. 22:56Integer Division
7. 24:05Galois Connection
8. 27:59Solve a Simple Api Design Problem Using an Injunction

" related talks

• 48mAdjunctions in Everyday LifeRúnar Bjarnason · Lambda World 2017
• 54mCategory Theory Through Functional Programming (part 3/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 55mMonoids, Monoids, MonoidsLuka Jacobowitz · Scala World 2019
• 29mMonoids and Software EngineeringLuke Meyers · Clojure/north 2020
• 01h 14mBeyond Free MonadsJohn DeGoes · LambdaConf Winter Retreat 2017
• 57mApplied category theory and abstract algebraGabriel Gonzales · LambdaConf Winter Retreat 2017
• 36mDo it with (free?) arrows!Julien Richard-Foy · Typelevel Summit Copenhagen 2017
• 42mMonads you already use without knowing itTejas Dinkar · Functional Conf 2014