Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2024
Febbraio
22
2024
Nicholas Meadows
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
Seminario di algebra e geometria, interdisciplinare, logica, teoria delle categorie
Monads and algebraic theories are two categorical approach to universal algebra. In his book Higher Algebra, Jacob Lurie established a relatively comprehensive theory of monads on infinity categories. However, his approach can be difficult in practice to use due to its highly technical nature.
In this talk, we will describe a version of generalized algebraic theories in the $\infty$-categorical setting, and show that it is recovers Lurie's theory for nice monads. As an application, we will prove several structural results about monads in the $\infty$-categorical setting. We will also use our result to describe the algebraic theories of E_1, E_2, and E_\infty algebras.