£43.40

Cambridge University Press Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)

Price data last checked 34 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£43 today · all-time low £43 (Jun 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 21 days · 21 data points (no recent data)

Historical
Generating forecast…
£43.70 £42.78 £42.98 £43.18 £43.38 £43.58 £43.78 01 June 2026 06 June 2026 11 June 2026 16 June 2026 21 June 2026

Price Distribution

Price distribution over 21 days • 2 price levels

Days at Price
Current Price
3 days 18 days · current 0 5 9 14 18 £43 £44 Days at Price

Price Analysis

Most common price: £44 (18 days, 85.7%)

Price range: £43 - £44

Price levels: 2 different prices over 21 days

Description

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.

Key Features

New Store Stock

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
06 November 2025
Listed Since
24 February 2025

Barcode

No barcode data available

Similar Products You Might Like

Higher Categories and Homotopical Algebra: 180 (Cambridge Studies in Advanced Mathematics, Series Number 180)
96% match

Higher Categories and Homotopical Algebra: 180 (Cambridge Studies in Advanced Mathematics, Series Number 180)

Cambridge University Press

£58.22 19 Jun 2026
An Introduction to Homotopy Theory: 43 (Cambridge Tracts in Mathematics, Series Number 43)
96% match

An Introduction to Homotopy Theory: 43 (Cambridge Tracts in Mathematics, Series Number 43)

Cambridge University Press

£41.99 10 Jul 2026
Foundations of Stable Homotopy Theory: 185 (Cambridge Studies in Advanced Mathematics, Series Number 185)
96% match

Foundations of Stable Homotopy Theory: 185 (Cambridge Studies in Advanced Mathematics, Series Number 185)

Cambridge University Press

£57.29 02 Jul 2026
LMS: 44 Homotopy Theory (London Mathematical Society Lecture Note Series, Series Number 44)
95% match

LMS: 44 Homotopy Theory (London Mathematical Society Lecture Note Series, Series Number 44)

Cambridge University Press

£51.06 08 Jul 2026
Model Categories (Mathematical Surveys and Monographs)
95% match

Model Categories (Mathematical Surveys and Monographs)

£65.95 24 Jun 2026
From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)
95% match

From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)

Cambridge University Press

£54.75 18 Jun 2026
Algebraic Homotopy: 15 (Cambridge Studies in Advanced Mathematics, Series Number 15)
95% match

Algebraic Homotopy: 15 (Cambridge Studies in Advanced Mathematics, Series Number 15)

Cambridge University Press

£133.28 04 Jul 2026
New Directions in Homotopy Theory (Contemporary Mathematics)
95% match

New Directions in Homotopy Theory (Contemporary Mathematics)

£112.00 18 Jun 2026
Groups of Homotopy Self-Equivalences and Related Topics (Contemporary Mathematics): Proceedings of the Workshop on Groups of Homotopy ... 1999, University of Milan, Gorgnano, Italy
95% match

Groups of Homotopy Self-Equivalences and Related Topics (Contemporary Mathematics): Proceedings of the Workshop on Groups of Homotopy ... 1999, University of Milan, Gorgnano, Italy

£94.50 04 Jul 2026
Homotopy Theory: Tools and Applications (Contemporary Mathematics)
95% match

Homotopy Theory: Tools and Applications (Contemporary Mathematics)

£88.93 01 Jul 2026
Simplicial and Dendroidal Homotopy Theory: 75 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 75)
95% match

Simplicial and Dendroidal Homotopy Theory: 75 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 75)

Springer

£28.74 13 Jul 2026
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)
95% match

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Springer

£99.00 17 Jun 2026
LMS: 176 Adams Memorial Alge vol 2: Volume 2 (London Mathematical Society Lecture Note Series, Series Number 176)
95% match

LMS: 176 Adams Memorial Alge vol 2: Volume 2 (London Mathematical Society Lecture Note Series, Series Number 176)

Cambridge University Press

£66.98 13 Jul 2026
Algebraic Topology - Homotopy and Homology: Homology and Homotopy (Classics in Mathematics)
95% match

Algebraic Topology - Homotopy and Homology: Homology and Homotopy (Classics in Mathematics)

Springer

£48.98 02 Jul 2026
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
95% match

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Oxford University Press

£85.40 27 Jun 2026
An Invitation to Computational Homotopy
95% match

An Invitation to Computational Homotopy

Oxford University Press

£63.05 14 Jul 2026
Introduction to Topology (Princeton Legacy Library): 1876
95% match

Introduction to Topology (Princeton Legacy Library): 1876

Princeton University Press

£33.12 08 Jul 2026
An Illustrated Introduction to Topology and Homotopy
95% match

An Illustrated Introduction to Topology and Homotopy

CRC Press

£103.74 09 Jul 2026
Rational Homotopy Theory and Differential Forms: 16 (Progress in Mathematics, 16)
95% match

Rational Homotopy Theory and Differential Forms: 16 (Progress in Mathematics, 16)

Birkhauser

£99.17 18 Jun 2026
Lecture Notes in Algebraic Topology (Graduate Studies in Mathematics)
95% match

Lecture Notes in Algebraic Topology (Graduate Studies in Mathematics)

£66.95 15 Jul 2026
Homotopy Methods in Algebraic Topology (Contemporary Mathematics): Proceeding of an AMS-IMS-SIAM Joint Summer Research Conference Held at University of Colorado, Boulder, Colorado, June 20-24, 1999
95% match

Homotopy Methods in Algebraic Topology (Contemporary Mathematics): Proceeding of an AMS-IMS-SIAM Joint Summer Research Conference Held at University of Colorado, Boulder, Colorado, June 20-24, 1999

£94.50 01 Jul 2026
Abelian Model Category Theory: 215 (Cambridge Studies in Advanced Mathematics, Series Number 215)
95% match

Abelian Model Category Theory: 215 (Cambridge Studies in Advanced Mathematics, Series Number 215)

Cambridge University Press

£56.74 29 Jun 2026
Homology Theory: An Introduction to Algebraic Topology: 145 (Graduate Texts in Mathematics, 145)
94% match

Homology Theory: An Introduction to Algebraic Topology: 145 (Graduate Texts in Mathematics, 145)

Springer

£48.60 02 Jul 2026
A First Course in Category Theory (Universitext)
94% match

A First Course in Category Theory (Universitext)

Springer

£41.75 18 Jun 2026