Kan Extension Property

The Kan extension property characterizes when simplicial sets admit unique horn fillers, providing a fundamental tool for constructing maps into and out of simplicial sets with controlled homotopy-theoretic behavior.

TheoremUnique Horn Filling

Let $X$ be a Kan complex and $Y$ any simplicial set. A map $f: Y \to X$ factors uniquely (up to simplicial homotopy) through a Kan fibration $p: Z \to Y$ where $Z$ is a Kan complex.

Moreover, if $Y = \Lambda^n_k$ is a horn, then any map $\Lambda^n_k \to X$ extends to $\Delta^n \to X$ , though not necessarily uniquely. The space of such extensions is contractible.

DefinitionMinimal Fibrations

A Kan fibration $p: E \to B$ is minimal if for every simplex $\sigma \in E_n$ and simplicial homotopy $h: \Delta^n \times \Delta^1 \to B$ starting at $p(\sigma)$ , any lift of $h$ starting at $\sigma$ must be constant.

Minimal fibrations are unique up to isomorphism over the base and serve as the simplicial analogue of Serre fibrations with connected fibers.

ExamplePath Space Construction

For a Kan complex $X$ and basepoint $x \in X_0$ , consider the path space fibration: $\Omega_x X \to PX \xrightarrow{\text{ev}_0} X$

This is a Kan fibration with fiber $\Omega_x X$ over $x$ . The extension property guarantees that any path in $X$ starting at $x$ can be lifted to a path in $PX$ starting at the constant loop.

The long exact sequence of homotopy groups: $\cdots \to \pi_n(\Omega_x X) \to \pi_n(PX) \to \pi_n(X) \to \pi_{n-1}(\Omega_x X) \to \cdots$ reduces to the isomorphism $\pi_n(\Omega_x X) \cong \pi_{n+1}(X)$ since $PX$ is contractible.

RemarkLifting Properties

The extension property is intimately connected to lifting properties in model categories:

Weak equivalences between Kan complexes can be detected by the unique (up to homotopy) lifting property
Trivial fibrations (Kan fibrations that are weak equivalences) have strict unique lifting against all cofibrations
The small object argument can be used to factor any map as a cofibration followed by a trivial fibration

These properties make the Kan extension theorem a workhorse for constructing homotopy-coherent diagrams.

DefinitionAnodyne Extensions and Weak Equivalences

A map $i: A \to B$ is a weak equivalence between Kan complexes if and only if it induces isomorphisms on all homotopy groups. Equivalently, $i$ has the homotopy extension property: for any Kan complex $Y$ , the induced map: $\text{Hom}(B, Y) \to \text{Hom}(A, Y)$ is a weak equivalence of Kan complexes (where $\text{Hom}$ denotes the internal hom in $\mathbf{sSet}$ ).

ExampleWhitehead Theorem

The simplicial version of Whitehead's theorem states: a map $f: X \to Y$ between Kan complexes is a weak equivalence if and only if it induces isomorphisms on all homotopy groups. This follows from the extension property and the fact that we can build $X$ and $Y$ from simplices by attaching along horns.

Unlike the topological case, the simplicial Whitehead theorem requires no assumptions about CW structure—the combinatorial nature of simplicial sets makes the result cleaner.

The Kan extension property essentially says that Kan complexes have "enough flexibility" to accommodate any coherent system of simplices, making them the right objects for encoding homotopy-coherent categorical structures.