Rúnar Bjarnason at Lambda World 2017
Adjunctions in Everyday Life
This talk introduces adjunctions, a category theory concept underlying and unifying a lot of things we take for granted in functional programming. All monads have adjoint functors underlying them, as do products, coproducts, algebraic data types, and folds. We’ll see that adjoint functors really do arise everywhere.
Subscribe to the Lambda World YouTube channel to be updated when new videos are added.