chateau_d_if.jpeg

Graded monads and the semantics of effect systems

Schedule

  • Sept. 2, 2016, 10:30 - 11:30

Abstract

Graded monads are a parameterisation of monads by monoidal categories. In this talk, I introduce the concept of graded monad, and illustrate its application to the semantics of effect systems. I also show some categorical structures and constructions around graded monads, such as Eilenberg-Moore and Kleisli resolutions of graded monads.

Attachments