Monads and the semantics of effects

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

• Philip Saville (University of Cambridge)
• Friday 27 October 2017, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Philip Saville.

Monads have been used to add effects to pure languages ever since Moggi’s seminal work in the late 80s, but their history in category theory is much longer. This talk will have two parts: firstly, we will talk about monads from the perspective of category theory, and secondly we will talk about using monads to add effects to the lambda calculus. We shall see how monads describe extra algebraic structure in a category, and see some familiar and not-so-familiar examples. We shall then study the extra structure we need to model effects, and develop a sound extension of the lambda calculus with an arbitrary effect.

Prerequisites: I will not use assume any knowledge of category theory beyond the basics, in particular that already covered in the Category Theory course.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.