nLab
complete Segal space

Idea

Complete Segal spaces are one model for (∞,1)-categories.

The rough idea is that a complete Segal space is the nerve of a category enriched weakly over Top/sSet: it is not a simplicial set, but a simplicial topological space or bisimplicial set that satisfies the homotopy theoretic analog of the condition that otherwise implies that a simplicial set is the nerve of a category.

A bit more precisely: to determine if a simplicial set $X_{•}$ arises from a category by passing to its nerve one has to check the Segal conditions: that for all natural numbers $m,n$ the square

$$\begin{array}{ccc}{X}_{m+n}& \stackrel{p_{0,\cdots ,m}^{*}}{\to }& X_m\\ {}^{p_{m,\cdots ,m+n}^{*}}\downarrow & & {\downarrow }^{p_m^{*}}\\ X_n& \stackrel{p_0^{*}}{\to }& X_0\end{array}$$\array{ X_{m+n} & \stackrel{p^*_{0,\cdots, m}}{\to} & X_m \\ {}^{\mathllap{p^*_{m, \cdots, m+n}}}\downarrow && \downarrow^{\mathrlap{p^*_m}} \\ X_n &\stackrel{\quad p^*_0\quad}{\to}& X_0 }

is a pullback square in Set (where the maps $p_{\cdots }^{*}$ project out the indicated parts of the objects of the simplex category $\Delta$ regarded as posets). $X^{•}$ is the nerve of a category precisely if this is the case for all $n,m$.

This condition is internalized homotopically in the category of spaces to get the definition of a Segal space. One can interpret “spaces” here as meaning either (sufficiently nice) topological spaces or simplicial sets; in the latter case a Segal space is a particular sort of bisimplicial set.

Definition

A Segal space $X_{•}$ is a simplicial nice topological space/simplicial set $X_{•}:{\Delta }^{\mathrm{op}}\to \mathrm{Top}$ which is Reedy fibrant and for which for all $m,n\in \mathbb{N}$ the square

$$\begin{array}{ccc}{X}_{m+n}& \stackrel{p_{0,\cdots ,m}^{*}}{\to }& X_m\\ {}^{p_{m,\cdots ,m+n}^{*}}\downarrow & & {\downarrow }^{p_m^{*}}\\ X_n& \stackrel{p_0^{*}}{\to }& X_0\end{array}$$\array{ X_{m+n} &\stackrel{ p^*_{0,\cdots, m} }{\to}& X_m \\ {}^{\mathllap{p^*_{m, \cdots, m+n}}}\downarrow && \downarrow^{\mathrlap{p^*_m}} \\ X_n &\stackrel{p^*_0}{\to}& X_0 }

is a homotopy pullback square in Top/sSet.

Next, the idea is that, roughly, a Segal space $X_{•}$ is a complete Segal space if the the fundamental ∞-groupoid of $X_0$ is the maximal topological groupoid contained in the topologically enriched category of which $X_{•}$ is like the nerve of.

Definition

More precisely…

…

• model structure for complete Segal spaces

References

Complete Segal spaces were originally defined in

• Charles Rezk, A model for the homotopy theory of homotopy theory , Trans. Amer. Math. Soc., 353(3), 973-1007

The relation to quasi-categories is discussed in

• Andre Joyal, Myles Tierney?, Quasi-categories vs Segal spaces (arXiv:0607820)

A survey of the definition and its relation to equivalent definitions is in section 4 of

• Julia Bergner, A survey of $(\mathrm{\infty },1)$-categories (arXiv).

See also pages 29 to 31 of

• Jacob Lurie, On the Classification of Topological Field Theories