homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
This entry relates to a series of papers, beginning with Barwick-Dotto-Glasman-Nardin-Shah 16 which aim to provide common foundations for several different parts of homotopy theory, among which equivariant homotopy theory, parametrized homotopy theory, global homotopy theory and Goodwillie calculus.
For $G$ a finite group, various concepts in equivariant homotopy theory are constructed as indexed over an orbit category, such as the homotopy theory of topological G-spaces or of $G$-equivariant spectra, when regarded via Elmendorf's theorem.
An important ingredient of this program is the concept of an atomic orbital $\infty$-category which is defined in terms of two important properties of the orbit category of $G$:
Orbital: Fiber products of representable presheaves are finite disjoint unions of representable presheaves, a restatement of the fact that the category of finite $G$-sets has pullbacks (Mackey decomposition), so a version of the Beck-Chevalley condition;
Atomic: The triviality of retracts (that is every retraction is an equivalence).
Examples of such $(\infty, 1)$-categories satisfying these two properties include:
orbit categories of finite groups;
more generally, orbit categories of profinite groups (where the stabilizers are required to be open);
locally finite groups (where the stabilizers are required to be finite);
any ∞-groupoid;
the cyclonic orbit 2-category (see at cyclotomic spectrum);
the 2-category of connected finite groupoids and covering maps;
the category of finite sets of cardinality $\leq n$ and surjective functions;
the topological categories of finite-dimensional inner product spaces (over $\mathbb{R}$ and $\mathbb{C}$) of dimension $\leq n$ and orthogonal projections.
The program looks to generate results which hold for all atomic orbital $\infty$-categories, for any instance of which, $T$, there are the associated concepts of $T$-$\infty$-category, $T$-space and $T$-spectrum.
For many cases of these atomic orbital $\infty$-categories there is a conservative (∞,1)-functor to a poset, and so they are EI (∞,1)-categories.
Along with an introduction, nine exposés are planned:
Clark Barwick, Emanuele Dotto, Saul Glasman, Denis Nardin, Jay Shah, Parametrized higher category theory and higher algebra: A general introduction, (arXiv:1608.03654)
Clark Barwick, Emanuele Dotto, Saul Glasman, Denis Nardin, Jay Shah, Parametrized higher category theory and higher algebra: Exposé I – Elements of parametrized higher category theory, (arXiv:1608.03657)
Jay Shah, Parametrized higher category theory and higher algebra: Exposé II - Indexed homotopy limits and colimits, (arXiv:1809.05892)
Denis Nardin, Parametrized higher category theory and higher algebra: Exposé IV - Stability with respect to an orbital ∞-category, (arXiv:1608.07704)
A survey talk is
Last revised on September 28, 2018 at 07:43:34. See the history of this page for a list of all contributions to it.