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
The horn $\Lambda_k[n] = \Lambda^n_k \hookrightarrow \Delta^n$ is the simplicial set obtained from the boundary of the n-simplex $\partial \Delta^n$ of the standard simplicial $n$-simplex $\Delta^n$ by discarding the $k$th face.
Let
be the standard simplicial $n$-simplex in SimpSet.
For each $i$, $0 \leq i \leq n$, the $(n,i)$-horn or $(n,i)$-box is the subsimplicial set
which is the union of all faces except the $i^{th}$ one.
This is called an outer horn if $k = 0$ or $k = n$. Otherwise it is an inner horn.
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 $\Lambda^k[n]: \Delta^{op} \to Set$ must therefore be: it takes $[m]$ to the collection of ordinal maps $f: [m] \to [n]$ which factor through some coface map $[n-1] \to [n]$ which is not the $i^{th}$ one.
The inner horn of the 2-simplex
with boundary
looks like
The two outer horns look like
and
respectively.
A Kan fibration is a morphism of simplicial sets which has the right lifting property with respect to all horn inclusions $\Lambda^k[n] \hookrightarrow \Delta^n$.
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.
A quasi-category is a simplicial set in which all inner horns have fillers, such that the map to the point is an inner fibration.
The boundary of a simplex is the union of its faces.
The spine of a simplex is the union of all its generating 1-cells.