Abstract

Homotopy theory has covered a long distance since its origins, the classification of spaces up to homotopy equivalence. Over the years, various kinds of mathematical structures have been investigated from a homotopical perspective, such as equivariant spaces, rings, C^*-algebras, or varieties. Many different approaches of how to formalize what a “homotopy theory” is were proposed, the most prominent ones being the notions of model category and ∞-category. The relationship between the different ways to formalize a homotopy theory is now well understood; indeed, for comparing different concepts of homotopy theories, one often wants to consider all of them together as another homotopy theory, i.e., a ‘homotopy theory of homotopy theories’. Somewhat surprisingly, most of the concepts organize themselves into a Quillen model category, and the various approaches are Quillen equivalent. After these individual comparison results, Töen was even able to axiomatically characterize a homotopy theory of homotopy theories. The homotopy theory of homotopy theories is only the first step in a hierarchy of interesting structures, namely the homotopy theoretic approach to higher categories. From this broader perspective, homotopy theories are just (∞, 1)-categories, where the ∞ indatices a structure with higher morphisms of all levels, and the 1 refers to the fact that all 1-morphisms and higher morphisms are weakly invertible. There are now ways to give rigorous meaning to the notion of (∞, n)-categories i.e., where only higher morphisms in level n and above are invertible. Having a rigorous model category of (∞,n)-categories is a cornerstone for the modern approach to topological field theory, thereby unifying categorical considerations with those of homotopy and manifold theory. This workshop consists of lecture series as well as individual research talks. The introductory series will explain some of the key methods relevant to many parts of the overarching program; they are intended to invite graduate students and postdocs into the field, as well as to strengthen the common ground of the program participants. The individual talks will inform us about recent developments about higher structures in homotopy theory.