Math 2.0

Category theory; homological algebra Definition

Kan complex

Builds on Simplicial setSingular simplicial setNerve of a categoryGroupoid

Definition

For n≥1n \ge 1 and 0≤k≤n0 \le k \le n, the horn Λkn\Lambda^n_k is the simplicial subset of the standard nn-simplex Δn\Delta^n generated by all faces diΔnd_i \Delta^n with i≠ki \ne k. A simplicial set XX is a Kan complex if for all n≥1n \ge 1 and 0≤k≤n0 \le k \le n, every map of simplicial sets Λkn→X\Lambda^n_k \to X extends to a map Δn→X\Delta^n \to X.

Remarks

Equivalently, XX is a Kan complex when the map X→Δ0X \to \Delta^0 is a Kan fibration. A map Λkn→X\Lambda^n_k \to X is the same as a list of simplices xi∈Xn−1x_i \in X_{n-1} for i≠ki \ne k with dixj=dj−1xid_i x_j = d_{j-1} x_i whenever i<ji < j and i,j≠ki, j \ne k. A filler is an x∈Xnx \in X_n with dix=xid_i x = x_i for i≠ki \ne k.

Example: for a topological space TT, the singular simplicial set Sing(T)\mathrm{Sing}(T) is a Kan complex. A map Λkn→Sing(T)\Lambda^n_k \to \mathrm{Sing}(T) is a continuous map from the geometric horn ∣Λkn∣\abs{\Lambda^n_k} to TT, and ∣Λkn∣\abs{\Lambda^n_k} is a retract of the topological simplex ∣Δn∣\abs{\Delta^n}, so the map extends.

Example: the nerve of a groupoid is a Kan complex.

Non-example: Δ1\Delta^1, the nerve of the poset 0<10 < 1, is not a Kan complex. The map Λ02→Δ1\Lambda^2_0 \to \Delta^1 sending the vertices 0,1,20, 1, 2 to 0,1,00, 1, 0 is defined, since the edges 0→10 \to 1 and 0→20 \to 2 go to 0≤10 \le 1 and 0≤00 \le 0. A filler would be an order-preserving map [2]→[1][2] \to [1] with values 0,1,00, 1, 0, which does not exist. More generally, the nerve of a category is a Kan complex if and only if the category is a groupoid.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Groupoid concept
  2. Nerve of a category concept
  3. Simplicial set concept
  4. Singular simplicial set concept
  5. Kan complex definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Kan_fibration, Definitions
About this page
TagH2YS8SX31W
URIm2://H2YS8SX31W
Kinddefinition
WritingW0 stub
MSC18N50, 55U10
DefinesKan complex
UsesSimplicial set, Singular simplicial set, Nerve of a category, Groupoid

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.