We will continue online on Thursday, 16th of September, at 13.00 CEST on ZOOM platform and M5 lecture room (for information how to acces seminar and next programme visit this page) by the talk:

Nicholas Meadows

Higher theories and monads

Abstract:
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$-categories, and exploit this to prove many classical theorems about monads in the $\infty$-categorical setting. Amongst other things, we prove that the category of algebras for an accessible monad on a locally presentable $\infty$ category is locally presentable. We also apply the result to construct examples of $\infty$-categorical monads from pretheories.