Talk

I will attempt to give a friendly introduction to the theory of $\infty$-operads, a powerful framework for working with homotopy-coherent algebraic structures. In the first talk I will introduce Lurie’s model of $\infty$-operads,  and in the second I will survey some other models, including extensions to enriched $\infty$-operads.

I will attempt to give a friendly introduction to the theory of $\infty$-operads, a powerful framework for working with homotopy-coherent algebraic structures. In the first talk I will introduce Lurie’s model of $\infty$-operads,  and in the second I will survey some other models, including extensions to enriched $\infty$-operads.

In this mini-course, we'll review some of the common models for $(\infty,1)$-categories, then discuss the different ways that one can generalize them to obtain models for higher $(\infty,n)$-categories.

In this mini-course, we'll review some of the common models for $(\infty,1)$-categories, then discuss the different ways that one can generalize them to obtain models for higher $(\infty,n)$-categories.

If Y is a curve of genus at least 2 over a number field, then the finite descent obstruction cuts out a subset of the adelic points, which is
conjecturally equal to the set of rational points. In particular, we expect this set to be finite. In this talk, I will present ongoing work with Jakob
Stix proving that certain projections of the finite descent locus are finite, as predicted by this conjecture. The method we employ can be
loosely described as "Lawrence--Venkatesh for Grothendieck's section set".