Další seminář z algebry se koná 16.9.2021 od 13.00 online na platformě ZOOM a v učebně M5. Informace pro připojení a další program semináře je zde.

Nicholas Meadows

Higher theories and monads

Abstrakt:
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.