Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219) - Image 1

£45.00

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

Name: Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)
Brand: Cambridge University Press
Price: 45.0 GBP
Availability: InStock

Computer Science

This is the most expensive it has ever been. Walk away.

£45 today · previous high £45 · all-time low £43

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 78 days · 78 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £44 (44 days, 56.4%)

Price range: £44 - £45

Price levels: 2 different prices over 78 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

Brand: Cambridge University Press
Format: hardcover
ASIN: 1108844162
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 06 November 2025
Listed Since: 24 February 2025

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

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

Model Categories (Mathematical Surveys and Monographs)

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

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

New Directions in Homotopy Theory (Contemporary Mathematics)

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

Homotopy Theory: Tools and Applications (Contemporary Mathematics)

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

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

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

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

Oxford University Press - Modal Homotopy Type Theory Book

An Invitation to Computational Homotopy

Introduction to Topology (Princeton Legacy Library): 1876

An Illustrated Introduction to Topology and Homotopy

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

Lecture Notes in Algebraic Topology (Graduate Studies in Mathematics)

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

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

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

A First Course in Category Theory (Universitext)