• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Cartesian Cubical Model Categories

Steve Awodey
Paperback | Engels | Lecture Notes in Mathematics | nr. 2385
€ 106,95
+ 213 punten
Pre-order nu, verschijningsdatum onbekend
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Taal:
Engels
Reeks:
Reeksnummer:
nr. 2385

Eigenschappen

Productcode (EAN):
9783032087294
Verschijningsdatum:
2/12/2025
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
155 mm x 235 mm
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 213 punten op je klantenkaart van Standaard Boekhandel
CADEAU

Suske en Wiske & Jommeke trakteren

Koop hun avonturen nu voor slechts € 5!
CADEAU
actie strips
CADEAU

Een goed verhaal is geld waard

Krijg nu een € 4 voucher bij elke aankoop vanaf € 40
CADEAU
Terugkeeractie
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-bookactie korting
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.