Mohlo by sa vám tiež páčiť

Viac informácií o knihe Cartesian Cubical Model Categories

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 170 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Topology

• Celý názov: Cartesian Cubical Model Categories
• Autor: Steve Awodey
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 130
• EAN: 9783032087294
• ID: 49615614
• Nakladateľ: Springer, Berlin
• Hmotnosť: 227 g
• Rozmery: 235 × 155 mm
• Dátum vydania: 26. November 2025

---

---

---