A Monadgerie

Add to your list(s) Download to your calendar using vCal

• Ben Millwood
• Thursday 28 February 2013, 14:00-15:00
• CMS, MR15.

If you have a question about this talk, please contact Guilherme Lima de Carvalho e Silva.

At first glance, a monad is something highly abstract and obscure to do with adjunctions or algebraic theories, so it’s surprising that functional programming languages like Haskell, Scala, and F# have embraced them as a tool to solve real engineering problems. It turns out they have a completely natural application to a remarkably diverse range of practical problems!

I’ll give a brief reminder of what a monad is, and then present two alternatives to the usual characterisations, and use them to explain why programmers are interested in monads and how you can use them. Then I’ll spend the remainder of the seminar running through as many examples of monads and their uses as I can, and some stuff about filtered colimits that I stumbled across and thought was just really cool.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• CMS, MR15
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Category Theory Seminar
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.