Introduction to Homotopy Type Theory : Cambridge Studies in Advanced Mathematics - Egbert Rijke

Instant online reading.
Don't wait for delivery!

Introduction to Homotopy Type Theory

By: Egbert Rijke

Write A Review

Hardcover | 6 November 2025

At a Glance

Hardcover
386 Pages

Dimensions(cm)
16.1 x 23.7 x 2.9

Hardcover

RRP $99.95

$89.75

10%OFF

or 4 interest-free payments of $22.44 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.