The purpose of this seminar is to study the general theory of higher categories and its
applications. Higher category theory, especially the theory of \((\infty,n)\)-categories, provides a
powerful language for handling the complexity of encoding relations, relations between relations,
and "so on".
This language has been applied to questions in homotopy theory, derived algebra, derived algebraic
geometry, topological field theory, and computer science. In addition to conceptualizing classical
results by placing them in a more general context, they have proven essential for studying homotopy
The exact subject matter of the seminar will be determined by the participants and their interests.
In particular, participants are encouraged to speak about related topics arising in recent research
papers. We also encourage participants to give talks on various foundational topics including, but
not limited to, models for \((\infty,n)\)-categories, presentable \(\infty\)-categories, higher topoi,
stable \(\infty\)-categories, (higher) operad theory, derived schemes, (derived) stacks, the cobordism
hypothesis, bicategories, higher Picard and Brauer groups...and beyond!
Participants should have some familiarity with the theory of \(\infty\)-categories.