University of Cambridge > > Logic & Semantics for Dummies > Monads and the semantics of effects

Monads and the semantics of effects

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity