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

£42.98

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: 42.98 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 6 days • 6 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 6 days • 1 price levels

Days at Price

Price Analysis

Most common price: £43 (6 days, 100.0%)

Price range: £43 - £43

Price levels: 1 different prices over 6 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Type Theory and Formal Proof: An Introduction

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

Equivariant Cohomology in Algebraic Geometry (Cambridge Studies in Advanced Mathematics, Series Number 210)

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

An Introduction to Algebraic Topology: 119 (Graduate Texts in Mathematics, 119)

Categories for Types (Cambridge Mathematical Textbooks)

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

An Illustrated Introduction to Topology and Homotopy

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

An Introduction to Algebraic Topology: 119 (Graduate Texts in Mathematics, 119)

Dimension Groups and Dynamical Systems: Substitutions, Bratteli Diagrams and Cantor Systems: 196 (Cambridge Studies in Advanced Mathematics, Series Number 196)

The Homotopy Theory of (∞,1)-Categories: 90 (London Mathematical Society Student Texts, Series Number 90)

Introduction to Homological Algebra: 38 (Cambridge Studies in Advanced Mathematics, Series Number 38)

A First Course in Algebraic Topology

Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)

Lectures on Random Lozenge Tilings: 193 (Cambridge Studies in Advanced Mathematics, Series Number 193)

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

Basic Homological Algebra: 196 (Graduate Texts in Mathematics, 196)

Oriented Matroids: 216 (Cambridge Studies in Advanced Mathematics, Series Number 216)

Basic Concepts of Algebraic Topology (Undergraduate Texts in Mathematics)

Elements of the Representation Theory of Associative Algebras: Volume 2: Tubes and Concealed Algebras of Euclidean Type: 71 (London Mathematical Society Student Texts, Series Number 71)

The Foundations of Topological Analysis: A Striaghtforward Introduction: Book 2 Topological Ideas: 002

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

Birkhauser An Introduction to the Language of Category Theory