Egbert Rijke
Introduction to Homotopy Type Theory
Auteur(s) : Egbert Rijke
Date de publication : 06-11-2025
Edition : Cambridge University Press
Type : Relie
This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics.
The book begins with a thorough and self-contained introduction to dependent type theory.
No prior knowledge of type theory is required.
The second part gradually introduces the key concepts of homotopy type theory: equivalences, the fundamental theorem of identity types, truncation levels, and the univalence axiom.
This prepares the reader to study a variety of subjects from a univalent point of view, including sets, groups, combinatorics, and well-founded trees.... Lire la suite
The book begins with a thorough and self-contained introduction to dependent type theory.
No prior knowledge of type theory is required.
The second part gradually introduces the key concepts of homotopy type theory: equivalences, the fundamental theorem of identity types, truncation levels, and the univalence axiom.
This prepares the reader to study a variety of subjects from a univalent point of view, including sets, groups, combinatorics, and well-founded trees.... Lire la suite
Cote de Introduction to Homotopy Type Theory
59 €
= stable
Sur 12 mois : de 58 € à 61 € · Prix moyen : 59 €
Fiabilité : +++ Élevée — Le prix reste proche de la cote (écart typique ±1 €).
Cote calculée sur les 12 derniers mois
Évolution de la cote — médiane mensuelle sur 12 mois
Plus le chiffre est bas, plus le livre se vend.
Le produit a bien été ajouté au panier
Introduction to Homotopy Type Theory
Etat : N/A
Prix : 0
Total, 0 article : 0