Denotational semantics of commutative combinations of effects

Computational effects are commonly modelled by monads, but often a monad can be represented by an algebraic theory of operations and equations. This talk is about how fundamental effects come from subtheoriesof module theories for semirings, and how to give a semantics of the combinations of effects using the more tractable semiring tensor. This is my master’s project and current work-in-progress with Cristina Matache, Sean Moss, and Sam Staton. The motivationis for combining probability with other effects in probabilistic programming languages.