Benjamin MacAdam

Title: (Commutative) theories and (monoidal) monads

Abstract: This is an expository talk on the monad/theory correspondence, following the recent work of Garner-Bourke in the enriched setting and Berger-Mellies-Weber in Set-based categories. If time permits, we will consider how this interacts with Day convolution to demonstrate a generalized commutative monad/commutative theory correspondence.