02955nam 22005655 450 99669698230331620260103120410.03-032-08730-910.1007/978-3-032-08730-0(CKB)44773726000041(MiAaPQ)EBC32471618(Au-PeEL)EBL32471618(DE-He213)978-3-032-08730-0(EXLCZ)994477372600004120260103d2026 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCartesian Cubical Model Categories /by Steve Awodey1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (220 pages)Lecture Notes in Mathematics,1617-9692 ;23853-032-08729-5 Chapter 1. Introduction -- Chapter 2. Cartesian cubical sets -- Chapter 3. The cofibration weak factorization system -- Chapter 4. The fibration weak factorization system -- Chapter 5. The weak equivalences -- Chapter 6. The Frobenius condition -- Chapter 7. A universal fibration -- Chapter 8. The equivalence extension property -- Chapter 9. The fibration extension property.This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a model structure, showing that the homotopical interpretation of constructive type theory is not merely possible, but in a certain, precise sense also necessary for the validity of univalence. Fully rigorous proofs are given in diagrammatic style, using the language and methods of categorical logic and topos theory. The intended readers are researchers and graduate students in homotopy theory, type theory, and category theory.Lecture Notes in Mathematics,1617-9692 ;2385Algebraic topologyLogic, Symbolic and mathematicalAlgebra, HomologicalAlgebraic TopologyMathematical Logic and FoundationsCategory Theory, Homological AlgebraAlgebraic topology.Logic, Symbolic and mathematical.Algebra, Homological.Algebraic Topology.Mathematical Logic and Foundations.Category Theory, Homological Algebra.514.2Awodey Steve1276661MiAaPQMiAaPQMiAaPQBOOK996696982303316Cartesian Cubical Model Categories4519851UNISA