Adjunctions in Everyday Life

by Rúnar Bjarnason 47:38 6609 views 100% Published 4 years ago

This presentation was given at Lambda World 2017 by Rúnar Bjarnason.

Follow:

- https://www.twitter.com/47deg
- https://www.twitter.com/lambda_world
- https://www.twitter.com/runarorama

Visit:
- https://www.47deg.com/events for more details
- http://www.lambda.world

___

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.



Watch on YouTube





Lambda World 2017


Lambda World 2017

From 26/10/2017 to 27/10/2017 in Cádiz, Spain