nLab Segal condition

Redirected from "lax limit".
Contents

Contents

Idea

The Segal condition is a condition on a simplicial object X 𝒞 Δ opX_\bullet \in \mathcal{C}^{\Delta^{op}} which says that each component X n2𝒞X_{n \geq 2} \in \mathcal{C} is obtained from X 1 1 0X 0X_1 \stackrel{\overset{\partial_0}{\to}}{\underset{\partial_1}{\to}} X_0 by the nn-fold fiber product of X 1X_1 over X 0X_0 which “glues” nn copies of X 1X_1 end-to-end.

Hence if one thinks of X 0X_0 as a collection of objects and of X 1X_1 as a collection of morphisms, then X X_\bullet satisfies the Segal condition precisely if each X n2X_{n \geq 2} can be interpreted as the collection of sequences of composable morphisms of length nn. The precise formulation is below in Definition – For simplicial objects.

Accordingly, if 𝒞=\mathcal{C} = Set is the category of sets, then the Segal condition characterizes precisely those simplicial sets which are the nerve of a (strict) small category, theorem below. This is the observation due to Grothendieck 1961 as recalled in Segal 1968), which today gives the Segal condition its name. Sometimes this statement also called the nerve theorem (no relation to what is called nerve theorem in homotopy theory).

It is useful to decompose this statement into its constituents as follows:

A small category CC may be thought of as a directed graph U(C)U(C) equipped with a unital associative composition operation. This corresponds to a sequence of inclusions of sites

(1d 1d 00)Δ 0Δ (1 \stackrel{\overset{d_0}{\leftarrow}}{\underset{d_1}{\leftarrow}} 0) \hookrightarrow \Delta_0 \to \Delta

into the simplex category, where Δ 0\Delta_0 is the category of finite non-empty directed linear graphs:

  • a directed graph is equivalently a presheaf on (1d 1d 00)(1 \stackrel{\overset{d_0}{\leftarrow}}{\underset{d_1}{\leftarrow}} 0);

  • a presheaf on Δ\Delta, hence a simplicial set encodes via its face and degeneracy maps a kind of associative and unital composition – but not necessarily “of composable morphisms” if X n2X_{n\geq 2} is not given in the above fashion.

In terms of this we can say that equipping a directed graph with the structure of a category is equivalent to asking for its pushforward along (1d 1d 00)Δ 0(1 \stackrel{\overset{d_0}{\leftarrow}}{\underset{d_1}{\leftarrow}} 0) \hookrightarrow \Delta_0 (which encodes all the collections of sequences of composable edges) to be equipped with a lift to a simplicial object through the pullback along Δ 0Δ\Delta_0 \to \Delta. Conversely, the simplicial objects obtained as such lifts are precisely the simplicial objects that satisfy the Segal condition.

Formulated in this way one sees that the Segal condition has a large variety of generalizations to structures with richer kinds of composition operations, such as globular operads. This is made precise below in Definition – For cellular objects.

Definition

For simplicial objects

Let 𝒞\mathcal{C} be a category with pullbacks.

Definition

A simplicial object

X:Δ op𝒞 X : \Delta^{op} \to \mathcal{C}

is said to satisfy the Segal condition if it sends certain colimits in the simplex category to limits, i.e. if the Segal maps exhibit equivalences

X nX 1× X 0× X 0X 1 nfactors X_n \stackrel{\simeq}{\longrightarrow} \underbrace{ X_1 \times_{X_0} \cdots \times_{X_0} X_1 }_{n\; factors}

for all nn \in \mathbb{N}.

More in detail:

Definition

For all nn \in \mathbb{N}, consider Δ[n]\Delta[n] naturally as a cocone in the simplex category under the diagram

Δ[0] Δ[0] Δ[0] d 1 d 0 d 1 d 0 Δ[1] Δ[1] \array{ \Delta[0] && && \Delta[0] && && \Delta[0] &&& \cdots \\ & {}_{\mathllap{d_1}}\searrow && {}^{\mathllap{d_0}}\swarrow && \searrow^{\mathrlap{d_1}} && {}_{d_0}\swarrow && \cdots \\ && \Delta[1] &&&& \Delta[1] && \cdots }

with nn copies of Δ[1]\Delta[1] at the bottom, such that the cocone injection of the kkth copy is Δ[1](k1,k)(0,1,2,,n)Δ[n]\Delta[1] \simeq (k-1,k) \hookrightarrow (0,1,2, \cdots, n) \simeq \Delta[n].

A simplicial object X:Δ op𝒞X \colon \Delta^{op} \to \mathcal{C} satisfies the Segal conditions if it sends these cocones to limit cones in 𝒞\mathcal{C}.

Remark

This definition immediately generalizes to (∞,1)-category theory where 𝒞\mathcal{C} is an (∞,1)-category and XX is a simplicial object in an (∞,1)-category. Then for XX to satisfy the Segal conditions means that it sends the cocones of def. to (∞,1)-limit cones in 𝒞\mathcal{C}.

Such a simplicial object is also called a pre-category object in an (∞,1)-category in 𝒞\mathcal{C}.

For cellular objects

A globular theory is a wide subcategory inclusion

i A:Θ 0Θ A i_A \colon \Theta_0 \to \Theta_A

of the globular site Θ 0\Theta_0. There is an equivalence of categories

ωGrphSh(Θ 0). \omega Grph \simeq Sh(\Theta_0) \,.

of ∞-graphs and sheaves on the globular site. In particular for Θ A=Θ\Theta_A = \Theta the cell category (Theta category) a presheaf on Θ\Theta is a cellular object.

The Segal condition on a cellular object X:Θ op𝒞X \colon \Theta^{op} \to \mathcal{C} is that the restriction i *X:Θ 0 opΘ op𝒞i^* X \colon \Theta_0^{op} \to \Theta^{op} \to \mathcal{C} to the cellular site is a sheaf there.

The cellular objects that satisfy the Segal condition are precisely the ∞-category objects (Berger).

The cellular spaces/ cellular simplicial sets/cellular ∞-groupoids that satisfy the Segal condition as a weak homotopy equivalence/ equivalence of ∞-groupoids is a Theta_n-space an (∞,n)-category.

Properties

Characterization of nerves of (higher) categories

Of simplicial nerves of small categories

The archetypical role of the Segal condition is to make the following statement true.

Theorem

(nerve theorem)

A simplicial set is the nerve of a small category precisely if it satsfies the Segal conditions.

This is due to Grothendieck 61, recalled in Segal 1968.

Remark

There is an entirely unrelated theorem in homotopy theory also often called “the” nerve theorem. See there for more. Not to be confused with the discussion here.

Of complete Segal spaces

By refining the above result from sets to \infty-groupoids, one obtains the pre-category object in an (infinity,1)-category.

Of cellular nerves of strict ω\omega-categories

Similarly, a cellular set is the cellular nerve of a strict omega-category precisely if it satisfies the cellular Segal condition. (Berger).

Of cellular models of (,n)(\infty,n)-categories

See at Theta-space.

In terms of sheaf conditions

We discuss an equivalent formulation of the Segal condition in terms of notions in topos theory/(∞,1)-topos theory. This perspective for instance lends itself more to a formulation of Segal conditions in terms of the internal language of toposes.

For simplicial objects and category objects

We characterize below in prop. the category of categories as the pullback of the topos of simplicial set along the inclusion of the topos of graphs into that of presheaves on finite linear graphs.

First we state some preliminaries.

Remark

The condition in def. superficially looks like a sheaf condition for coverings of Δ[n]\Delta[n] by nn subsequent copies of Δ[1]\Delta[1]. However, these coverings do not form a coverage on the simplex category Δ\Delta: the refinement-of-covers-axiom is not satisfied:

For instance for d 1:Δ[1]Δ[2]d_1 \colon \Delta[1] \to \Delta[2] the map that sends the single edge of Δ[1]\Delta[1] to the composite edge in Δ[2]\Delta[2] there is no way to “pull back” the cover

{Δ[1]Δ[1]((0,1),(1,2))Δ[2]} \{\Delta[1] \coprod \Delta[1] \stackrel{((0,1),(1,2))}{\to} \Delta[2]\}

along this morphism, not even in the weak sense of coverage.

However, as this example also makes clear, the problem is precisely only with the morphisms in Δ\Delta that are no injective on generating edges.

Therefore consider instead the following:

Definition

Let

j:Δ 0Graph j \colon \Delta_0 \hookrightarrow Graph

be the full subcategory of that of directed graphs on the linear graphs {01n}\{0 \to 1 \to \cdots \to n\} for nn \in \mathbb{N}.

Remark

Morphisms in Δ 0\Delta_0 have to send elementary edges to elementary edges. So there are

  • precisely nn morphisms Δ 0[1]Δ 0[n]\Delta_0[1] \to \Delta_0[n]

  • precisely nn morphisms Δ 0[2]Δ 0[n+1]\Delta_0[2] \to \Delta_0[n+1]

  • precisely nn morphisms Δ 0[3]Δ 0[n+2]\Delta_0[3] \to \Delta_0[n+2]

  • etc.

Definition

Write

i:(10)Δ 0 i \colon (1 \stackrel{\leftarrow}{\leftarrow} 0) \hookrightarrow \Delta_0

for the full subcategory on the linear graphs with no edge and with one edge.

Proposition

The category of directed graphs is equivalently the category of presheaves over (10)(1 \stackrel{\leftarrow}{\leftarrow} 0), def. :

Graph(𝒞)PSh((10),𝒞)=𝒞 (10). Graph(\mathcal{C}) \simeq PSh((1 \Leftarrow 0), \mathcal{C}) = \mathcal{C}^{(1 \Rightarrow 0)} \,.
Definition

Write

(i !i *i *):𝒞 10i *i *i !𝒞 Δ 0 op (i_! \dashv i^* \dashv i_*) \colon \mathcal{C}^{1 \Rightarrow 0} \stackrel{\overset{i_!}{\to}}{\stackrel{\overset{i^*}{\leftarrow}}{\underset{i_*}{\to}}} \mathcal{C}^{\Delta_0^{op}}

for the adjoint triple induced on categories of presheaves by the inclusion ii of def. : i *i^* is given by precomposition with ii, i !i_! is left and i *i_* is right Kan extension along ii.

Proposition

The functor i *:Graph(𝒞)𝒞 Δ 0 opi_* \colon Graph(\mathcal{C}) \to \mathcal{C}^{\Delta_0^{op}} of def. sends a graph X 1 0 1X 0X_1 \stackrel{\overset{\partial_1}{\to}}{\underset{\partial_0}{\to}} X_0 to the presheaf i *(X)i_*(X) which on nn \in \mathbb{N} is given by th iterated pullback

i *(X):nX 1× X 0×× X 0X 1 nfactors i_*(X) \colon n \mapsto \underbrace{X_1 \times_{X_0} \times \cdots \times_{X_0} X_1}_{n \; factors}

and which sends an inclusion Δ[k](j,,j+k)(0,,n)Δ[n]\Delta[k] \simeq (j, \cdots, j+k) \hookrightarrow (0,\cdots, n)\simeq \Delta[n] to the corresponding projection map out of the pullback.

We may call i *(X)i_*(X) the nerve of the graph XX.

Proof

Using the Yoneda lemma and the defining hom-isomorphisms of the adjunction as well as the fact that the hom functor sends colimits in the first argument to limits, we have

i *(X)(n) Hom(Δ[n],i *(X)) Hom(i *Δ[n],X) Hom(Δ[1] Δ[0] Δ[0]Δ[1],X) Hom(Δ[1],X)×Hom(Δ[0],X)×Hom(Δ[0],X)Hom(Δ[1],X) nfactors X× X 0× X 0X 1 nfactors. \begin{aligned} i_*(X)(n) & \simeq Hom(\Delta[n], i_*(X)) \\ & \simeq Hom(i^* \Delta[n], X) \\ & \simeq Hom( \underbrace{\Delta[1] \coprod_{\Delta[0]} \cdots \coprod_{\Delta[0]} \Delta[1]}, X ) \\ & \simeq \underbrace{ Hom(\Delta[1], X) \underset{Hom(\Delta[0], X)}{\times} \cdots \underset{Hom(\Delta[0], X)}{\times} Hom(\Delta[1], X) }_{n\;factors} \\ & \simeq \underbrace{ X \times_{X_0} \cdots \times_{X_0} X_1 }_{n\; factors} \end{aligned} \,.
Proposition

For nn \in \mathbb{N} declare a unique covering family of Δ[n]Δ 0\Delta[n] \in \Delta_0 to be

{Δ[1](k,k+1)Δ[n]} k=0 n1. \left\{ \Delta\left[1\right] \simeq \left(k,k+1\right) \hookrightarrow \Delta\left[n\right] \right\}_{k = 0}^{n-1} \,.

Then this is a coverage on Δ 0\Delta_0.

Proposition

A presheaf X:Δ 0 op𝒞X \colon \Delta_0^{op} \to \mathcal{C} is a sheaf with respect to the coverage of def. precisely if it is in the essential image of the graph-nerve functor

i *:Graph(𝒞)𝒞 (10)𝒞 Δ 0 op i_* \colon Graph(\mathcal{C}) \simeq \mathcal{C}^{(1 \stackrel{\to}{\to} 0)} \stackrel{}{\to} \mathcal{C}^{\Delta_0^{op}}

of prop. . This yields an equivalence of categories

Graph(𝒞)Sh(Δ 0) Graph(\mathcal{C}) \simeq Sh(\Delta_0)

with the category of sheaves on Δ 0\Delta_0. The graph-nerve functor is a full and faithful functor

i *:GraphSh(Δ 0)PSh(Δ 0). i_* \colon Graph \simeq Sh(\Delta_0) \hookrightarrow PSh(\Delta_0) \,.
Definition

Write

(j !j *j *):𝒞 Δ 0 opj *j *j !𝒞 Δ op (j_! \dashv j^* \dashv j_*) \colon \mathcal{C}^{\Delta_0^{op}} \stackrel{\overset{j_!}{\to}}{\stackrel{\overset{j^*}{\leftarrow}}{\underset{j_*}{\to}}} \mathcal{C}^{\Delta^{op}}

for the adjoint triple induced on categories of presheaves by the inclusion jj of def. : j *j^* is given by precomposition with jj, j !j_! is left and j *j_* is right Kan extension along jj.

In terms of all this the nerve theorem says the following:

We have geometric morphisms of toposes

GrphSh(Δ 0)i *i *i !PSh(Δ 0)j *j *j !PSh(Δ)sSet Grph \simeq Sh(\Delta_0) \stackrel{\overset{i_!}{\to}}{ \stackrel{\overset{i^*}{\leftarrow}}{\underset{i_*}{\hookrightarrow}}} PSh(\Delta_0) \stackrel{\overset{j_!}{\to}}{\stackrel{\overset{j^*}{\leftarrow}}{\underset{j_*}{\to}}} PSh(\Delta) \simeq sSet

which capture the Segal condition as follows.

Proposition

The commuting diagram of 1-categories

Cat N PSh(Δ)sSet U j * GraphSh(Δ 0) i * PSh(Δ 0), \array{ Cat &\stackrel{N}{\hookrightarrow}& PSh(\Delta) \simeq sSet \\ \downarrow^{\mathrlap{U}} && \downarrow^{\mathrlap{j^*}} \\ Graph \simeq Sh(\Delta_0) &\stackrel{i_*}{\hookrightarrow}& PSh(\Delta_0) } \,,

where

is a pullback.

Remark

The morphisms in the commuting diagram of prop. participate in further adjunctions, and in terms of these the Segal condition may further be reformulated as a restriction condition on algebras over an operad:

First of all the nerve has a left adjoint τ:PSh(Δ)Cat\tau \colon PSh(\Delta) \to Cat. With this the left adjoint j !j_! of j *j^* induces a left adjoint

Fτj !i * F \simeq \tau j_! i_*

of UU, which is the free category functor.

Moreover, with UU also j *j^* is a monadic functor and the monad UF:GrphGrphU F \colon Grph \to Grph of which Cat is the category of algebras is the restriction of the monad j *j !j^* \circ j_!:

i *UFj *j !i *. i_* U F \simeq j^* j_! i_* \,.

(All this is discussed in (Berger, p. 13), and actually in the further generality of cellular sets that we get to below.)

In summary we have a diagram of adjoint pairs of functors of the form

Cat Nτ PSh(Δ)sSet U F j * j ! GraphSh(Δ 0) i *i * PSh(Δ 0) \array{ Cat &\stackrel{\overset{\tau}{\leftarrow}}{\underoverset{N}{\bottom}{\hookrightarrow}}& PSh(\Delta) \simeq sSet \\ {}^{\mathllap{U}}\downarrow \vdash \uparrow^{\mathrlap{F}} && {}^{\mathllap{j^*}}\downarrow \vdash \uparrow^{\mathrlap{j_!}} \\ Graph \simeq Sh(\Delta_0) &\stackrel{\overset{i^*}{\leftarrow}}{\underoverset{i_*}{\bottom}{\hookrightarrow}}& PSh(\Delta_0) }

where several (however not all) subdiagrams of functors commute, as discussed above. In terms of this the reformulation of the Segal condition as in prop. is now further reformulated as:

A category is equivalently an algebra over the monad j *j !j^* j_! on PSh(Δ 0)PSh(\Delta_0) which satisfies the Segal condition in that it is in the essential image of the functor i *i_* of prop. .

For cellular objects and ω\omega-category objects

The immediate generalization of prop. from simplicial objects to cellular objects is the following.

Let

j:Θ 0Θ j \colon \Theta_0 \to \Theta

be the defining inclusion of the cellular site into the cell category.

Proposition

The category StrωCatStr\omega Cat of strict ∞-categories is the pullback

StrωCat N Mod Θ PSh(Θ) U j * ωGraph Sh(Θ 0) PSh(Θ 0). \array{ Str\omega Cat &\underoverset{\simeq}{N}{\to}& Mod_\Theta &\hookrightarrow& PSh(\Theta) \\ \downarrow^{\mathrlap{U}} && \downarrow^{} && \downarrow^{\mathrlap{j^*}} \\ \omega Graph &\stackrel{\simeq}{\to}& Sh(\Theta_0) &\hookrightarrow& PSh(\Theta_0) } \,.

See at globular theory for more.

References

The “Segal conditions” are originally due to:

  • Alexander Grothendieck, Prop. 4.1 of: FGA Techniques de construction et théorèmes d’existence en géométrie algébrique III : préschémas quotients, Séminaire Bourbaki : années 1960/61, exposés 205-222, Séminaire Bourbaki, no. 6 (1961), Exposé no. 212, (numdam:SB_1960-1961__6__99_0, pdf, English translation: web version)

and named after their mentioning in

The interpretation of the Segal condition as a sheaf condition is reviewed for instance in section 2 of

and discussed for strict infinity-categories in

  • Clemens Berger, A cellular nerve for higher categories, Advances in Mathematics 169, 118-175 (2002) (pdf)

Based on that, an iterative and homotopy-theoretic formulation of the cellular Segal conditions is in section 5 of

Last revised on April 22, 2024 at 20:53:54. See the history of this page for a list of all contributions to it.