Adjunctions in Everyday Life

on YouTube ↗52m

" summary

Claim: adjunctions are the concrete pattern behind monads, comonads, products, coproducts, ADTs and folds; the talk shows how to witness adjunctions via curry/uncurry and mechanically “turn the crank” to get familiar structures. Tools used: Haskell types, posets, and functor/unit/co-unit calculations. Surprising specifics: the state monad and store comonad arise from the pair/function adjunction, integer division appears as an adjunction in posets, and Maybe is the free pointed type solving a common API choice. Built examples include a bitmap edge detector via comonad extend.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 18:47Category Three
3. 22:35Integer Arithmetic
4. 31:14Api Design
5. 44:28Product Diagram
6. 50:37Squares and the Concept Matrix

" related talks

• 58mMonoidal CatamorphismsBartosz Milewski · LambdaConf 2020 Global Edition
• 50mAbstract Algebras and Where to Find Them Magmas, Monoids, and More!Reid Evans · LambdaConf 2018
• 01h 39mIsomorphic Reasoning: Counting with Types Part 1Alexander Konovalov, Emily Pillmore · LambdaConf 2019
• 38mCategory Theory as a Tool for ThoughtDaniel Beskin · LambdaConf 2019
• 01h 05mMonads in Modern C++Georgi Koyrushki, Alistair Fisher · CppCon 2023
• 48mMonads and Monoids: from daily java to Big Data analyticsOleksiy Dyagilev · JavaDay Kharkiv 2015
• 02h 28mIsomorphic Reasoning: Counting with Types Part 2Alexander Konovalov, Emily Pillmore · LambdaConf 2019
• 01h 52mIsomorphic Reasoning: Counting with Types Part 3Alexander Konovalov, Emily Pillmore · LambdaConf 2019