model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
and
rational homotopy theory (equivariant, stable, parametrized, equivariant & stable, parametrized & stable)
Examples of Sullivan models in rational homotopy theory:
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?
(Quillen adjunction between equivariant simplicial sets and equivariant connective dgc-algebras)
Let $G$ be a finite group.
The $G$-equivariant PL de Rham complex-construction is the left adjoint in a Quillen adjunction between
the opposite of the projective model structure on equivariant connective dgc-algebras
the model structure on equivariant simplicial sets
(i.e.: the global projective model structure on functors from the opposite of the orbit category to the classical model structure on simplicial sets)
fundamental theorem of equivariant dg-algebraic rational homotopy theory
Quillen adjunction between simplicial sets and connective dgc-algebras
Created on September 25, 2020 at 17:16:12. See the history of this page for a list of all contributions to it.