geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
Let be the (∞,1)-category of G-spaces, and let be the orbit category. Elmendorf's theorem provides an equivalence . The starting point of Parametrized Higher Category Theory and Higher Algebra is to define --categories so that they satisfy Elmendorf's theorem.
The ∞-category of small --categories is
More generally, often will be an orbital ∞-category; in any case, we make the analogous definition.
If is an (∞,1)-category, then the (∞,1)-category of small --categories is
Parametrized Higher Category Theory and Higher Algebra, orbital ∞-category, equivariant symmetric monoidal category
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, (arXiv:1809.05892)
Jay Shah, Parametrized higher category theory II: Universal constructions, (arXiv:2109.11954)
Last revised on April 22, 2024 at 03:37:36. See the history of this page for a list of all contributions to it.