Cartesian Cubical Model Categories
$145.58
- Paperback
140 pages
- Release Date
2 January 2026
Summary
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 mer…
Book Details
| ISBN-13: | 9783032087294 |
|---|---|
| ISBN-10: | 3032087295 |
| Author: | Steve Awodey |
| Publisher: | Springer Nature Switzerland AG |
| Imprint: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Number of Pages: | 140 |
| Release Date: | 2 January 2026 |
| Weight: | 0g |
| Dimensions: | 235mm x 155mm |
| Series: | Lecture Notes in Mathematics |
You Can Find This Book In
About The Author
Steve Awodey
Steve Awodey holds the Dean’s Chair in Logic at Carnegie Mellon University, where he is Professor of Philosophy and Mathematics. A founder of Homotopy Type Theory, he co-organized a special research year on Univalent Foundations at the Institute for Advanced Study (Princeton). His numerous publications include the textbook Category Theory and the collaborative volume Homotopy Type Theory: Univalent Foundations of Mathematics. He serves on several journal editorial boards and is coordinating editor of the Journal of Symbolic Logic. He has held visiting appointments at the Poincaré Institute (Paris), Newton Institute (Cambridge), Hausdorff Institute (Bonn), and the Centre for Advanced Studies (Oslo), and is currently a Royal Society Wolfson Visiting Fellow at Cambridge University.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.