nLab horn

Redirected from "horn inclusions".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

In simplicial homotopy theory a horn of a simplex is a simplicial incarnation of the notion of a boundary segment (as opposed to the full boundary) of a cell.

Specifically, the kkth horn Λ k[n]Δ[n]\Lambda_k[n] \hookrightarrow \Delta[n] of the nn-dimensional simplex (defined for n1n \geq 1, see Rem. ) is the simplicial set obtained from the boundary of the n-simplex Δ n\partial \Delta^n of the standard simplicial n-simplex Δ n\Delta^n by discarding its kkth face.

The property of a morphism of simplicial set to have the right lifting property against the inclusions of horns into their simplices (have “horn fillers”) characterizes the basic types of fibrations and fibrant objects in simplicial homotopy theory:

Specifically, Kan fibrations are the simplicial analog of Serre fibrations (in a precise sense so under the Quillen equivalence between the classical model structure on simplicial sets and on topological spaces) and under this correspondence the horn inclusions into the nnth simplex correspond to the inclusion of the (n1)(n-1)-dimensional topological disk into its cylinder:

Λ k[n]Δ[n]||D n1(id,0)D n1×[0,1], \Lambda_k[n] \hookrightarrow \Delta[n] \;\;\;\; \overset{\left\vert-\right\vert}{\mapsto} \;\;\;\; D^{n-1} \overset{(id,0)}{\hookrightarrow} D^{n-1} \times [0,1] \,,

as both are the generating cofibrations in their respective model categories (on sSet, on Top, respectively).

Definition

Let

Δ[n]=Δ(,[n])SimpSet \Delta[n] = \mathbf{\Delta}( -, [n]) \in Simp Set

denote the standard simplicial nn-simplex in SimpSet.

Definition

(horns)

For all n,kn, k \,\in\, \mathbb{N} with n1n\geq 1 and 0kn0\leq k \leq n, the (n,k)(n,k)-horn or (n,k)(n,k)-box is the sub-simplicial set

Λ k[n]Δ[n] \Lambda_k[n] \hookrightarrow \Delta[n]

which is the union of all faces except the kkth one.

This is called an outer horn if k=0k = 0 or k=nk = n, otherwise it is an inner horn.

Remark

Since sSet is a presheaf topos, unions of subobjects make sense and they are calculated objectwise, thus in this case dimensionwise. This way it becomes clear what the structure of a horn as a functor Λ k[n]:Δ opSet\Lambda^k[n]: \Delta^{op} \to Set must therefore be: it takes [m][m] to the collection of ordinal maps f:[m][n]f \colon [m] \to [n] which factor through some coface map [n1][n][n-1] \to [n] which is not the kkth one.

Remark

(the 0-simplex has no horns)
Beware that any would-be horn of the 0-simplex (whose boundary is the empty simplicial set) is ex-cluded in Def. : The 0-simplex has no horn.

This is not a matter of convention if one sticks to the usual definition of Kan fibration as having right lifting against all horns: In particular one must not declare a would-be horn of the 0-simplex to be itself the empty simplicial set, as that would make the nerve of the empty groupoid fail to be a Kan complex (Def. ).

Conversely, the fact that every horn is inhabited means (see also this Example) that any morphism out of the empty simplicial set (an empty bundle X\varnothing \to X) is a Kan fibration (Def. ).

This is in contrast to the situation for acyclic Kan fibrations, see there.

Examples

Example

The inner horn of the 2-simplex

Δ 2={ 1 0 2}\Delta^2 = \left\{ \array{ && 1 \\ & \nearrow &\Downarrow& \searrow \\ 0 &&\to&& 2 } \right\}

with boundary

Δ 2={ 1 0 2}\partial \Delta^2 = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&\to&& 2 } \right\}

looks like

Λ 1 2={ 1 0 2}. \Lambda^2_1 = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&&& 2 } \right\} \,.

The two outer horns look like

Λ 0 2={ 1 0 2}\Lambda^2_0 = \left\{ \array{ && 1 \\ & \nearrow && \\ 0 &&\to&& 2 } \right\}

and

Λ 2 2={ 1 0 2}\Lambda^2_2 = \left\{ \array{ && 1 \\ & && \searrow \\ 0 &&\to&& 2 } \right\}

respectively.

(1)

Lifting against horn inclusion

Definition

(Kan fibration)
A Kan fibration is a morphism of simplicial sets which has the right lifting property with respect to all horn inclusions Λ k[n]Δ n\Lambda^k[n] \hookrightarrow \Delta^n.

Definition

(Kan complex)
A Kan complex is a simplicial set in which “all horns have fillers”: a simplicial set for which the morphism to the point is a Kan fibration (Def. ).

Definition

(quasi-category)
A quasi-category is a simplicial set in which all inner horns have fillers, hence such that the morphism to the point is an inner fibration.

References

See the references at simplicial homotopy theory.

Last revised on February 5, 2024 at 12:30:45. See the history of this page for a list of all contributions to it.