Cartesian Cubical Model Categories
Seiten
2026
Springer International Publishing (Hersteller)
978-3-032-08730-0 (ISBN)
Springer International Publishing (Hersteller)
978-3-032-08730-0 (ISBN)
- Noch nicht erschienen - erscheint am 08.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 8.2.2026 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Mathematics and Statistics | Mathematics and Statistics (R0) |
| Zusatzinfo | X, 122 p. 180 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Geometrie / Topologie |
| Schlagworte | Abstract homotopy theory • Constructive Type Theory • Cubical sets • homotopical algebra • Homotopy Type theory • Quillen model categories • Synthetic homotopy theory • topos theory • Univalence axiom • Univalent type theory |
| ISBN-10 | 3-032-08730-9 / 3032087309 |
| ISBN-13 | 978-3-032-08730-0 / 9783032087300 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |