Online seminář z algebry - 16.9.2021 PDF Tisk

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

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.

Aktualizováno Středa, 15 Září 2021 14:30