Skip to content

Simplicial Localization

A localization of a category at chosen weak equivalences into a simplicial category whose mapping-space components recover ordinary localized morphisms while retaining higher homotopy data.

Version
v1 · 2026-09-28 · History
Domain-specific #
12051
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Homotopical Algebra, Higher Category Theory, Algebraic Topology → Mathematics
Aliases
Dwyer–Kan simplicial localization, Simplicial localization of categories

Core Idea

Simplicial localization refines formal inversion. Starting from a category C and chosen morphisms W, it builds simplicial mapping objects rather than mere hom-sets, so alternative zigzags and their higher relationships remain visible.

For objects x and y, taking connected components of the resulting mapping space recovers CW^-1. The ordinary localization is therefore the categorical shadow of a richer enriched structure.

Structural Signature

Sig role-phrases:

  • Base category C — Provides objects and original morphisms. It is required input. Counterfactual: Without C there is no system to localize.
  • Weak-equivalence class W — Marks morphisms to become invertible up to localization. It is designated relation. Counterfactual: Changing W changes the resulting homotopy theory.
  • Simplicial mapping objects — Encode maps together with higher simplices of comparison and coherence. It is enriched output. Counterfactual: Ordinary hom-sets would discard higher information.
  • Composition — Combines enriched maps coherently across objects. It is category structure. Counterfactual: Mapping spaces without composition do not form a simplicial category.
  • Connected-components functor — Collapses each mapping space to path components. It is recovery map. Counterfactual: Without this test the relation to ordinary localization is unverified.
  • Ordinary localization — Serves as the homotopy-category shadow in which W is inverted. It is correctness target. Counterfactual: Failure to recover C[W^-1] breaks the defining property.

What It Is Not

  • It is not merely ordinary localization.
  • It is not the nerve of a category.
  • It does not make every morphism invertible unless W contains every morphism.
  • A simplicial category is not automatically a localization.
  • Closest near-miss. Ordinary localization records which morphisms exist after formally inverting W; simplicial localization additionally retains higher paths and coherence among representatives.

Scope of Application

  • Homotopical algebra. Constructs derived mapping spaces.
  • Model categories. Presents mapping information invariant under weak equivalence.
  • Higher category theory. Relates relative categories to infinity-categorical structures.
  • Derived mathematics. Preserves coherence lost by homotopy categories.

Clarity

State C, W, the selected construction or equivalent model, the mapping simplicial sets, and the equivalence notion used. Check both composition and the pi_0 recovery property.

Manages Complexity

The construction organizes a potentially large calculus of zigzags into mapping spaces, separating higher coherence from the simpler ordinary localization recovered at pi_0.

Abstract Reasoning

  1. Choose the category and weak equivalences.
  2. Represent maps by an enriched localization construction.
  3. Define composition of mapping simplicial sets.
  4. Compare path components with formal zigzags in C[W^-1].
  5. Use higher simplices for homotopies and coherence rather than collapsing them prematurely.

Knowledge Transfer

Localization-plus-coherence reasoning transfers to other higher-categorical models only under an explicit equivalence that preserves objects, weak equivalences, mapping spaces, and composition.

Examples

Canonical

For a category of spaces with weak homotopy equivalences W, the enriched mapping object records derived maps and homotopies, while its path components give morphisms in the homotopy category.

Mapped back: category → spaces; W → weak equivalences; mapping → derived mapping space; pi0 → homotopy-category maps.

Applied / In Practice

The nerve N(C) is a simplicial set representing a category, but by itself it is not a simplicial category whose mapping spaces localize a specified W.

Mapped back: simplicial object → nerve; W → unspecified; enriched homs → absent.

Structural Tensions

T1 — Ordinary Inversion versus Higher Coherence. Collapsing to C[W^-1] is simple but loses homotopies among zigzags.

Diagnostic: Which questions require mapping spaces rather than path components?

T2 — Presentation versus Homotopy Invariance. Different models can present equivalent localization data while looking combinatorially different.

Diagnostic: Is comparison being made at the enriched-equivalence level?

Structural–Framed Character

Simplicial Localization is strongly structural as enriched inversion with a specified categorical shadow.

Structural Core vs. Domain Accent

The skeleton is marked arrows, enriched paths, composition, and component recovery. Homotopy theory supplies weak equivalences and the meaning of higher simplices.

This entry is a kind of Localization of a category.

  • Approved root. No reviewed parent entails this enriched localization construction.

  • Related — localization, simplicial category, derived mapping space, and weak equivalence. They provide its shadow, codomain, principal output, and marked inputs.

Relationships to Other Abstractions

Local relationship map for Simplicial LocalizationParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.SimplicialLocalizationDOMAINDomain-specific abstraction: Localization of a category — is a kind ofLocalizationof a categoryDOMAIN

Current abstraction Simplicial Localization Domain-specific

Parents (1) — more general patterns this builds on

  • Simplicial Localization is a kind of Localization of a category Domain-specific

    Simplicial Localization is Localization of a Category enriched so mapping spaces retain higher homotopy data.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Simplicial Localization sits in a crowded region of the domain-specific corpus (20th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Ordinary localization. Tell: Retains hom-sets but not higher mapping data.
  • Nerve. Tell: Encodes composable chains in one simplicial set.
  • Bousfield localization. Tell: Changes a model structure or homotopy theory under additional conditions.
  • Simplicial completion. Tell: Is not defined merely by inverting W and recovering C[W^-1].

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Simplicial_localization (revision 1181527559).
  • Preserved source candidate: http://www3.nd.edu/~wgd/Dvi/SimplicialLocalizations.pdf
  • Preserved source candidate: https://web.archive.org/web/20140324075548/http://www3.nd.edu/~wgd/Dvi/SimplicialLocalizations.pdf
  • Preserved source candidate: http://math.mit.edu/~mdono/_Juvitop.pdf
  • Preserved source candidate: https://web.archive.org/web/20131105064343/http://math.mit.edu/~mdono/_Juvitop.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.