Contents

# Contents

## Idea

A topological space is a loop space if it has a delooping. It is an infinite loop space if this delooping has itself a delooping, and so on.

In homotopy theory infinite loop spaces are equivalent to connective spectra.

## Properties

### Algebraic characterization

Infinite loop spaces are the grouplike E-∞ algebras in Top (grouplike E-∞ spaces).

See for instance (Adams, pretheorem 2.3.2) and the references listed there for traditional accounts. See (Lurie, section 5.1.3) for a modern formulation.

(Compare to how just loop spaces are the grouplike A-∞ algebras, see looping and delooping.)

### Free infinite loop space

See at free infinite loop space.

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

## References

Section 5.1.3 of

Last revised on August 18, 2020 at 04:31:16. See the history of this page for a list of all contributions to it.