Higher Categories and Homotopical Algebra

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

Type

Book

Intellectual base

Review or monograph

Year

2023

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• 2-Yoneda lemma
  • … between constitutive identity and a convenient observable transfers from For a representable pseudofunctor, transformations into F are classified by objects and morphisms of F(x). to A bicategorical proof tracks associators and unitors while using the equivalence to replace transformation data by evaluation data..
• Quasi-category
  • … that the simplicial set, face and degeneracy maps, inner horns and dimensions, filler-existence condition, objects and morphisms, homotopy category and equivalence convention are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

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:957b91d1b332 · see in the full table