Introduction to homotopy type theory
Auteur :
Rijke, Egbert
Éditeur :
Cambridge University Press
ISBN :
9781108844161
Date de publication :
31 août 2025
Langue :
Anglais
Pays d'origine :
Grande Bretagne
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.