Higher Categories and Homotopical Algebra

Cisinski, D. (2019). Higher Categories and Homotopical Algebra. Cambridge University Press.

Type

Book chapter

Intellectual base

Review or monograph

Year

2019

Link

no authoritative link yet

Cited by

3 citations across 3 artifacts.

Domain-specific

• Extension (simplicial set)
  • For example, the distinction between constitutive identity and a convenient observable transfers from The natural map X→Ex∞X is a weak equivalence and Ex∞X is a Kan complex. to A proof distinguishes one Ex step from the infinite iteration and checks whether Kan filling is already obtained..
• Join (simplicial sets)
  • … convention, face and degeneracy actions, unit, associativity coherence, categorical nerve relation, geometric realization relation, and finite or augmented convention are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..
• Opposite simplicial set
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:16ed2784c226 · see in the full table