Kan–Quillen model structure

Key takeaways

Kan–Quillen model structure belongs to engineering; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Kan–Quillen model structure to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Kan–Quillen model structure from memory before moving on to harder problems.

Reference excerpt

In higher category theory, the Kan–Quillen model structure is a special model structure on the category of simplicial sets. It consists of three classes of morphisms between simplicial sets called fibrations, cofibrations and weak equivalences, which fulfill the properties of a model structure. Its fibrant objects are all Kan complexes and it furthermore models the homotopy theory of CW complexes up to weak homotopy equivalence, with the correspondence between simplicial sets, Kan complexes and CW complexes being given by the geometric realization and the singular functor (Milnor's theorem). The Kan–Quillen model structure is named after Daniel Kan and Daniel Quillen.

Definition The Kan–Quillen model structure is given by:

Fibrations are Kan fibrations. Cofibrations are monomorphisms. Weak equivalences are weak homotopy equivalences, hence morphisms between simplicial sets, whose geometric realization is a weak homotopy equivalence between CW complexes. Trivial cofibrations are anodyne extensions. The category of simplicial sets s S e t {\displaystyle \mathbf {sSet} } with the Kan–Quillen model structure is denoted s S e t K Q {\displaystyle \mathbf {sSet} _{\mathrm {KQ} }} .

Properties Fiberant objects of the Kan–Quillen model structure, hence simplicial sets X {\displaystyle X} , for which the terminal morphism X → ! Δ 0 {\displaystyle X\xrightarrow {!} \Delta ^{0}} is a fibration, are the Kan complexes. Cofiberant objects of the Kan–Quillen model structure, hence simplicial sets X {\displaystyle X} , for which the initial morphism ∅ → ! X {\displaystyle \emptyset \xrightarrow {!} X} is a cofibration, are all simplicial sets. The Kan–Quillen model structure is proper. This means that weak homotopy equivalences are both preversed by pullback along its fibrations (Kan fibrations) as well as pushout along its cofibrations (monomorphisms). Left properness follows directly since all objects are cofibrant. The Kan–Quillen model structure is a Cisinski model structure and in particular cofibrantly generated. Cofibrations (monomorphisms) are generated by the boundary inclusions ∂ Δ n ↪ Δ n {\displaystyle \partial \Delta ^{n}\hookrightarrow \Delta ^{n}} and acyclic cofibrations (anodyne extensions) are generated by horn inclusions Λ k n ↪ Δ n {\displaystyle \Lambda _{k}^{n}\hookrightarrow \Delta ^{n}} (with n ≥ 2 {\displaystyle n\geq 2} and 0 ≤ k ≤ n {\displaystyle 0\leq k\leq n} ). Weak homotopy equivalences are closed under finite products. Since the Joyal model structure also has monomorphisms as cofibrations and every weak homotopy equivalence is a weak categorical equivalence, the identity Id : s S e t K Q → s S e t J {\displaystyle \operatorname {Id} \colon \mathbf {sSet} _{\mathrm {KQ} }\rightarrow \mathbf {sSet} _{\mathrm {J} }} preserves both cofibrations and acyclic cofibrations, hence as a left adjoint with the identity Id : s S e t J → s S e t K Q {\displaystyle \operatorname {Id} \colon \mathbf {sSet} _{\mathrm {J} }\rightarrow \mathbf {sSet} _{\mathrm {KQ} }} as right adjoint forms a Quillen adjunction.

Local weak homotopy equivalence For a simplicial set B {\displaystyle B} and a morphism of simplicial sets f : X → Y {\displaystyle f\colon X\rightarrow Y} over B {\displaystyle B} (so that there are morphisms p : X → B {\displaystyle p\colon X\rightarrow B} and q : Y → B {\displaystyle q\colon Y\rightarrow B} with p = q ∘ f {\displaystyle p=q\circ f} ), the following conditions are equivalent:

… excerpt ends here. Continue reading the full article.

Worked examples

Example 1 — a first encounter with Kan–Quillen model structure

Start with the simplest possible case. Write down what Kan–Quillen model structure claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In engineering, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Kan–Quillen model structure before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Kan–Quillen model structure ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Kan–Quillen model structure

In research: Kan–Quillen model structure appears in engineering research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Kan–Quillen model structure in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Kan–Quillen model structure is common in secondary-school and first-year university syllabi. It links to neighbouring topics Higher category theory, Homotopy theory, Simplicial sets, so understanding it makes those chapters shorter.
In everyday life: Look for Kan–Quillen model structure outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

How to study Kan–Quillen model structure in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Kan–Quillen model structure means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Kan–Quillen model structure out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Kan–Quillen model structure in simple terms?

In higher category theory, the Kan–Quillen model structure is a special model structure on the category of simplicial sets. It consists of three classes of morphisms between simplicial sets called fibrations, cofibrations and weak equivalences, which fulfill the properties of a model structure.

Why does Kan–Quillen model structure matter?

Because it connects several engineering ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Kan–Quillen model structure?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Kan–Quillen model structure.