Related papers: Orbit categories, classifying spaces, and generali…

A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

We consider the question of cocompleting partially presentable parametrized $\infty$-categories in the sense of arXiv:2307.11001. As our main result we show that in certain cases one may compute such relative cocompletions via a very…

This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all…

First, we review the basic mathematical structures and results concerning the gauge orbit space stratification. This includes general properties of the gauge group action, fibre bundle structures induced by this action, basic properties of…

An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…

Let $M=G/H$ be a compact, simply connected, Riemannian homogeneous space, where $G$ is (almost) effective and $H$ is a simple Lie group. In this paper, we first classify all $G$-naturally reductive metrics on $M$, and then all $G$-geodesic…

We show that the $\infty$-category of global spaces is equivalent to the homotopy localization of the $\infty$-category of sheaves on the site of separated differentiable stacks, following a philosophy proposed by Gepner-Henriques. We…

This paper studies the foundations of the geometric fixed point functor in multiplicative equivariant stable homotopy theory. We introduce a new class of equivariant orthogonal spectra called generalized orbit desuspension spectra and…

This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…

Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces $(M=G/H,g)$ whose geodesics are orbits of one-parameter subgroups of $G$. The corresponding metric $g$ is called a geodesic orbit metric. We study the…

We classify homotopes of classical symmetric spaces (studied in Part I of this work). Our classification uses the fibered structure of homotopes: they are fibered as symmetric spaces, with flat fibers, over a non-degenerate base; the base…

Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…

The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…

We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat…

In these notes the epitopological and pseudotopological fundamental group functors are introduced. These are functors from the category of pointed epitopological and pseudotopological spaces respectively, to the category of their respective…

These notes give a brief introduction to the category of spectra as defined in stable homotopy theory. In particular, Section 5 discusses an extensive list of examples of spectra whose properties have been found to be interesting.