Group Theory

(,1)(\infty,1)-Category theory



An ∞-group is a group object in ∞Grpd.

Equivalently (by the delooping hypothesis) it is a pointed connected \infty-groupoid.

Under the identification of ∞Grpd with Top this is known as an A A_\infty-space, for instance.

An \infty-Lie group is accordingly a group object in ∞-Lie groupoids. And so on.


For details see groupoid object in an (∞,1)-category.

(∞,1)-operad∞-algebragrouplike versionin Topgenerally
A-∞ operadA-∞ algebra∞-groupA-∞ space, e.g. loop spaceloop space object
E-k operadE-k algebrak-monoidal ∞-groupiterated loop spaceiterated loop space object
E-∞ operadE-∞ algebraabelian ∞-groupE-∞ space, if grouplike: infinite loop space \simeq Γ-spaceinfinite loop space object
\simeq connective spectrum\simeq connective spectrum object
stabilizationspectrumspectrum object


The homotopy theory of \infty-groups that are n-connected and r-truncated for rnr \leq n is discussed in

  • A.R. Garzón, J.G. Miranda?, Serre homotopy theory in subcategories of simplicial groups Journal of Pure and Applied Algebra Volume 147, Issue 2, 24 March 2000, Pages 107-123

category: ∞-groupoid

Revised on May 29, 2014 08:55:16 by Urs Schreiber (