Adjunctions in Haskell

Runar Bjarnason is giving a guest lecture in David's Spivak's graduate category theory seminar this Thursday and has invited members of this meetup to attend. The topic is adjunctions and their role in Haskell.

Dear seminar,

This week we're back with Rúnar Bjarnason joining us to speak about adjunctions in everyday life, from his perspective as a software developer. Rúnar is the author of a number of books on functional programming and co-founder at local programming language start-up Unison Computing. A brief abstract is below.

We meet in our usual time and place: Thursday 4.30pm, MIT 2-255. As usual, please join us for coffee and conversation in the common room (2-290) after the talk.

Looking forward to seeing you there!

Brendan

---

Adjunctions in Everyday Life
This talk is a very informal introduction to adjoint functors, particularly from the perspective of software development. I'll give lots of examples of adjunctions to help the audience develop a general feel for how they come up in programming and indeed in everyday life. A basic familiarity with category theory and functional programming is assumed.

More details and further talks here: http://brendanfong.com/seminar.html.