Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Adjunctions in Everyday Life by Rúnar Bjarnason

W1siziisijiwmtkvmdqvmtgvmtavntkvmjmvnza0l3blegvscy1wag90by0ymzgxmtguanblzyjdlfsiccisinrodw1iiiwiotawedkwmfx1mdazzsjdxq

Need to know about adjunctions? 

It's a category theory concept underlying lots of things in Functional Programming and you'll see in this talk by Rúnar Bjarnason from Lambda World 2018 just how much adjoint functors arise!


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.

This talk was given by Rúnar Bjarnason at Lambda World, Cadiz 2018.