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. The final part introduces the idea of higher inductive type by discussing the circle and its universal cover.
Each part is structured into bite-size chapters, each the length of a lecture, and over 200 exercises provide ample practice material.
| ISBN: | 9781108844161 |
| Publication date: | 6th November 2025 |
| Author: | Egbert Rijke |
| Publisher: | Cambridge University Press |
| Format: | Hardback |
| Pagination: | 383 pages |
| Series: | Cambridge Studies in Advanced Mathematics |
| Genres: |
Mathematical logic Geometry Topology Computer architecture and logic design |
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.
Introduction to Homotopy Type Theory features in the following genres: Mathematical logic, Geometry, Topology, Computer architecture and logic design
Hardback. £45.00, down from the £50.00 cover price. Not Available.
Introduction to Homotopy Type Theory was written by Egbert Rijke and published by Cambridge University Press
Introduction to Homotopy Type Theory has 383 pages
Yes it is part of Cambridge Studies in Advanced Mathematics series
£45.00, reduced from £50.00. Not Available.