nLab Segal space

Contents

Contents

Idea

A Segal space is a pre-category object in ∞Grpd.

A genuine category object in ∞Grpd is a complete Segal space. This is a way of speaking of (∞,1)-categories.

Definition

A Segal space X X_\bullet is a simplicial topological space or bisimplicial set X :Δ opTopX_\bullet : \Delta^{op} \to Top which satisfies the Segal conditions:

for all m,nm,n \in \mathbb{N} the square

X m+n p 0,,m * X m p m,,m+n * p m * X n p 0 * X 0 \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.

A Segal space for which X 0X_0 is a discrete space is called a Segal category. See there for more dicussion.

Examples

In SetSet

For 𝒞\mathcal{C} a (small) category we may regard its ordinary nerve simplicial set N(𝒞)Set Δ opN(\mathcal{C}) \in Set^{\Delta^{op}} as a Segal space, under the canonical inclusion SetGrpdSet \hookrightarrow \infty Grpd,

N(𝒞)Set Δ opGrpd Δ op. N(\mathcal{C}) \in Set^{\Delta^{op}} \hookrightarrow \infty Grpd^{\Delta^{op}} \,.

In fact, the classical “nerve theorem” about the Segal conditions says that a simplicial set is the nerve of a category precisely if it is a Segal space.

Notice that Equiv(N(𝒞) 1)N(𝒞) 1Equiv(N(\mathcal{C})_1) \hookrightarrow N(\mathcal{C})_1 is precisely the subset of isomorphisms in all morphisms of 𝒞\mathcal{C}.

Therefore under this identification, N(𝒞)N(\mathcal{C}) is a complete Segal space precisely if 𝒞\mathcal{C} is a gaunt category, hence precisely if the only isomorphisms in 𝒞\mathcal{C} are the identities.

In particular if 𝒞\mathcal{C} is a (0,1)-category, hence a preordered set, then N(𝒞)N(\mathcal{C}) is complete Segal precisely if 𝒞\mathcal{C} is in fact an partially ordered set.

Construction in 1Grpd1Grpd from a category

Let 𝒞\mathcal{C} be an ordinary category. We discuss how Segal spaces are associated with this.

Let 𝒦\mathcal{K} be a groupoid and p:𝒦𝒞p \colon \mathcal{K} \to \mathcal{C} a functor which is essentially surjective.

Then let X 1(p/p)GrpdX_1 \coloneqq (p/p)\in Grpd be the “lax fiber product” of pp with itself, or rather the comma object of pp with itself, hence the comma category, sitting in the universal square

X 1 1 𝒦 0 p 𝒦 p 𝒞. \array{ X_1 &\stackrel{\partial_1}{\to}& \mathcal{K} \\ {}^{\mathllap{\partial_0}}\downarrow &\swArrow& \downarrow^{\mathrlap{p}} \\ \mathcal{K} &\underset{p}{\to}& \mathcal{C} } \,.

Next let X 2=(p/p/p)X_2 = (p/p/p) be the “3-fold comma category”, hence the comma category in

X 2 0 𝒦 p X 1 1 𝒞 \array{ X_2 &\stackrel{\partial_{0}}{\to}& \mathcal{K} \\ {}^{\mathllap{}}\downarrow &\swArrow& \downarrow^{\mathrlap{p}} \\ X_1 &\underset{\partial_1}{\to}& \mathcal{C} }

and so forth: X np / n+1X_n \coloneqq p^{/^{n+1}}.

This way an object of X nX_n is an (n+1)(n+1)-tuple of objects (x 0,x 1,,x n)𝒦(x_0,x_1, \cdots, x_n) \in \mathcal{K} together with a sequence of nn composable morphisms p(x 0)p(x 1)p(x n)p(x_0) \to p(x_1) \to \cdots \to p(x_n), and a morphism is an (n+1)(n+1)-tuple of morphisms (f 0,f 1,,f n)𝒦(f_0,f_1, \cdots, f_n) \in \mathcal{K} and a pasting commuting diagram

p(x 0) p(x 1) p(x 1) p(f 0) p(f 1) p(f 1) p(x 0) p(x 1) p(x 1) \array{ p(x_0) &\to& p(x_1) &\to& \cdots &\to& p(x_1) \\ {}^{\mathllap{p(f_0)}}\downarrow && \downarrow^{\mathrlap{p(f_1)}} && \cdots && \downarrow^{\mathrlap{p(f_1)}} \\ p(x'_0) &\to& p(x_1) &\to& \cdots &\to& p(x'_1) }

in 𝒞\mathcal{C}.

By direct inspection, the maps X nX Δ nX_n \to X^{\partial \Delta^n} obtained this way are isofibrations, hence fibrations in the canonical model structure on Grpd and so the homotopy pullbacks that enter the Segal conditions for X X_\bullet are given by ordinary fiber products. These clearly satisfy the Segal conditions, hence

X Grpd ΔGrpd Δ op X_\bullet \in Grpd^{\Delta} \hookrightarrow \infty Grpd^{\Delta^{op}}

constructed this way is a Segal space.

Two special case of the functor pp are important:

  • if 𝒦core(𝒞)\mathcal{K} \simeq core(\mathcal{C}) is the core of 𝒞\mathcal{C} and pp is the canonical core inclusion, one finds that Equiv(X 1)X 1Equiv(X_1) \hookrightarrow X_1 by the above construction is Equiv(X 1)=Core(𝒞) Δ 1Equiv(X_1) = Core(\mathcal{C})^{\Delta^1}, the arrow category of the core of 𝒞\mathcal{C}. This is equivalent to 𝒞\mathcal{C} by, for instance, the source or restriction map. Hence for pp the core inclusion, the above construction gives the complete Segal space corresponding to the category 𝒞\mathcal{C}.

  • if p:π 0(𝒞)𝒞p \colon \pi_0(\mathcal{C}) \to \mathcal{C} is a choice of basepoints in each isomorphism class of 𝒞\mathcal{C}, then X X_\bullet is the Segal category incarnation of the category 𝒞\mathcal{C}.

In 1Grpd1Grpd

We consider the situation of From a category, but now conversely, starting with a Segal space in groupoids and then extracting a category from it.

Consider a Segal space that is degreewise just a 1-groupoid, hence a simplicial object in the inclusion

X 1Grpd Δ opGrpd Δ op. X_\bullet \in 1Grpd^{\Delta^{op}} \hookrightarrow \infty Grpd^{\Delta^{op}} \,.

Choosing this to be Reedy fibrant, the map ( 0, 1):X 1X 0×X 0(\partial_0,\partial_1) \colon X_1 \to X_0 \times X_0 is an isofibration.

We may write an object KX 1K \in X_1 as a horizontal morphism

1(K)K 2(K) \partial_1(K) \stackrel{K}{\to} \partial_2(K)

and a morphism λ:LK\lambda \colon L \to K in X 1X_1 as a vertical double category arrow:

1(L) L 0(L) 1(λ) λ 0(λ) 1(K) K 0(K). \array{ \partial_1(L) & \stackrel{L}{\to} & \partial_0(L) \\ {}^{\mathllap{\partial_1(\lambda)}}\downarrow &\Downarrow^{\mathrlap{\lambda}}& \downarrow^{\mathrlap{\partial_0(\lambda)}} \\ \partial_1(K) &\stackrel{K}{\to}& \partial_0(K) } \,.

Then the fact that ( 1, 0)(\partial_1,\partial_0) is an isofibration means that for every “niche”

y 0 y 1 f 0 f 1 x 0 K x 1, \array{ y_0 & & y_1 \\ {}^{\mathllap{f_0}}\downarrow && \downarrow^{\mathrlap{f_1}} \\ x_0 &\stackrel{K}{\to}& x_1 } \,,

namely for every pair of morphisms f 0,f 1f_0, f_1 in X 0X_0 and lift of its codomain to an object KX 1K \in X_1, there is a “niche filler”

y 0 L Y 1 f 0 λ f 1 x 0 K x 1, \array{ y_0 & \stackrel{L}{\to} & Y_1 \\ {}^{\mathllap{f_0}}\downarrow &\Downarrow^{\mathrlap{\lambda}}& \downarrow^{\mathrlap{f_1}} \\ x_0 &\stackrel{K}{\to}& x_1 } \,,

namely a lift of the whole pair (f 0,f 1)(f_0,f_1) to a morphism λ\lambda in X 1X_1, and this is necessarily universal in that any other such lift uniquely factors through this one (because X 1X_1 is a groupoid).

Comparison with the definition of a 2-category equipped with proarrows in the incarnation as a double category shows that this is the beginning of the construction of a pseudo double category whose vertical category is X 0X_0 and whose weak horizontal composition is that induced by the Segal maps.

Assume next that X 3X Δ 2X_3 \to X^{\partial \Delta^2} is a 1-monomorphism, as are all the higher X nX Δ nX^n \to X^{\partial \Delta^n }, for n3n \geq 3, hence that X X_\bullet is 2-coskeletal as a simplicial object. This means that the horizontal composition in this pseudo double category has unique composites, hence that the horizontal category is an ordinary category. If then furthermore the composite Equiv(X 1)X 1 0X 0Equiv(X_1) \to X_1 \stackrel{\partial_0}{\to} X_0 is an equivalence, hence is the Segal space is a complete Segal space this means that X X_\bullet arises from this horizontal category by the construction above.

References

See generally the references at complete Segal space.

The “Segal conditions” are first discussed in

  • Graeme Segal, Classifying spaces and spectral sequences, Inst. Hautes Études Sci. Publ. Math., vol. 34, pp. 105–112 (1968),

where it is attributed to Alexander Grothendieck.

The term “Segal space” is due to

The invertible case of Segal spaces, hence models for groupoid objects in an (infinity,1)-category are discussed in section 3 of

  • Julia Bergner, Adding inverses to diagrams II: Invertible homotopy theories are spaces, Homology, Homotopy and Applications, Vol. 10 (2008), No. 2, pp.175-193. (web, arXiv:0710.2254)

Last revised on June 2, 2023 at 13:17:07. See the history of this page for a list of all contributions to it.