Graded monads and the semantics of effect systems
- Shinya Katsumata (Kyoto, Japan)
- Sept. 2, 2016, 10:30 - 11:30
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.