nLab reduced Segal space

Reduced Segal space

Reduced Segal space


A reduced Segal space is a category object in ∞Grpd equipped with an (essentially) surjective functor from the terminal such. So it is the delooping of a monoid in an (∞,1)-category.

Accordingly, if the reduced Segal space happens to be actually a groupoid object, then it is the delooping of a group object in ∞Grpd: an ∞-group.

The notion was first introduced by G. Segal (who named it “special Δ\Delta-space”) as a means for the characterization of an infinite loop space via the notion of Gamma-space.

When a reduced Segal space is group-like, it becomes a model for an infinity-group aka a loop space. Group-like reduced Segal spaces characterize loop spaces by means of finite products and weak equivalences and as such transparently show that the property of being a loop space is invariant under any product-preserving endofunctor of topological spaces.

If MM is a topological monoid, its classifying space BMBM has a model as a simplicial space in which the 0th level is a point and the nth level is n-times the product of the 1st level. The idea of a reduced Segal space is requiring the above two properties of the simplicial space BMBM to hold up to homotopy and capture in this way all \infty-monoids.

The passage from reduced Segal spaces to group-like reduced Segal spaces is the step of adding “inverses up to coherent homotopy”. It turns out to be equivalent to simply requiring that the monoid of path components of the 1st level admits a group structure.


A simplicial space X:Δ opTopX:\Delta^{op}\to Top is called a reduced Segal space if:

(1) the space X 0X_0 is weakly contractible;

(2) for each n1n\geq 1, the Segal map X nX 1×...×X 1X_n\to X_1\times ...\times X_1 is a weak equivalence.

XX is called group-like reduced Segal space if in addition:

(3) the monoid structure on π 0X 1\pi_0 X_1, induced from the HH-space structure on X 1X_1, admits inverses (i.e. it is a group).


Proposition(G. Segal): if XX is a group-like reduced Segal space, the map X 1Ω|X|X_1\to \Omega |X| is a weak equivalence.


  • The idea of reduced Segal spaces can be used for the characterization of n-fold loop spaces by n-simplicial spaces X:(Δ op) nTopX:(\Delta^{op})^n\to Top in which the corresponding Segal maps are weak equivalences. This is explained in “Iterated Monoidal Categories” (below).


  • G. Segal, “Categories and Cohomology Theories”, Topology 13 (1974).

  • C. Balteanu, Z. Fiedorowicz, R. Schwanzl and R. Vogt, “Iterated Monoidal Categories”, Advances in Mathematics (2003).

Last revised on January 4, 2016 at 16:46:20. See the history of this page for a list of all contributions to it.