Back To Schedule
Friday, November 17 • 9:50am - 10:30am
Adjunctions in Everyday Life

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
This talk introduces adjunctions, a category theory concept underlying and unifying monads, products, coproducts, algebraic data types, and folds. 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. Adjunctions are really about finding efficient solutions, which is something close to the hearts of software developers. When we ask either "what is the most efficient solution to this problem?" or "what is the most general problem that this solves?" we are really looking for an adjunction. The talk will give a crash course on categories and functors, followed by lots of examples of adjunctions, a particular kind of relationship between functors that arises virtually everywhere. Then we'll discuss some practical implications. The idea of adjunctions gives us an abstract and precise concept we can leverage when designing and using libraries.

avatar for Rúnar Bjarnason

Rúnar Bjarnason

Cofounder, Unison
My name is Rúnar. I’m a software engineer in Boston, an author of a book, Functional Programming in Scala, and cofounder of Unison Computing. We're making a distributed programming language called Unison.Talk to me about functional programming, relational database theory, compilers... Read More →

Friday November 17, 2017 9:50am - 10:30am PST