£49.76

Springer Cartesian Cubical Model Categories (Lecture Notes in Mathematics, 2385)

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£50 today · cheaper than every other day in the last 6 months

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 64 days • 64 data points (No recent data available)

Historical
Generating forecast...
£54.99 £49.24 £50.49 £51.75 £53.00 £54.26 £55.51 28 November 2025 13 December 2025 29 December 2025 14 January 2026 30 January 2026

Price Distribution

Price distribution over 64 days • 2 price levels

Days at Price
Current Price
1 day · current 63 days 0 16 32 47 63 £50 £55 Days at Price

Price Analysis

Most common price: £55 (63 days, 98.4%)

Price range: £50 - £55

Price levels: 2 different prices over 64 days

Description

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a model structure, showing that the homotopical interpretation of constructive type theory is not merely possible, but in a certain, precise sense also necessary for the validity of univalence. Fully rigorous proofs are given in diagrammatic style, using the language and methods of categorical logic and topos theory. The intended readers are researchers and graduate students in homotopy theory, type theory, and category theory.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
03 January 2026
Listed Since
09 September 2025

Barcode

No barcode data available

Similar Products You Might Like

Categories for Types (Cambridge Mathematical Textbooks)
96% match

Categories for Types (Cambridge Mathematical Textbooks)

Cambridge University Press

£58.23 15 Jan 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

£56.74 24 Jan 2026
Categories, Allegories
95% match

Categories, Allegories

North Holland

£49.99 23 Feb 2026
The Homotopy Theory of (∞,1)-Categories: 90 (London Mathematical Society Student Texts, Series Number 90)
95% match

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

Cambridge University Press

£83.77 06 Jan 2026
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)
95% match

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Springer

£64.25 24 Feb 2026
A First Course in Category Theory (Universitext)
95% match

A First Course in Category Theory (Universitext)

Springer

£43.24 24 Jan 2026
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)
95% match

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Cambridge University Press

£42.68 25 Feb 2026
Categories, Allegories (Volume 39) (North-Holland Mathematical Library, Volume 39)
95% match

Categories, Allegories (Volume 39) (North-Holland Mathematical Library, Volume 39)

North Holland

£43.99 28 Feb 2026
Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)
95% match

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

£59.86 13 Jan 2026
Categories
95% match

Categories

Springer

£41.98 15 Feb 2026
Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing
95% match

Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing

MIT Press

£65.09 05 Feb 2026
Starting Category Theory
95% match

Starting Category Theory

World Scientific Publishing Company

£36.51 25 Jan 2026
Higher Dimensional Categories: From Double To Multiple Categories
95% match

Higher Dimensional Categories: From Double To Multiple Categories

World Scientific Publishing Company

£79.00 09 Dec 2025
Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)
95% match

Handbook of Categorical Algebra: Categories and Structures v. 2 (Encyclopedia of Mathematics and its Applications 51)

Cambridge University Press

£72.40 16 Feb 2026
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)
95% match

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Elsevier

£86.27 12 Jan 2026
Categories and Toposes: Visualized and Explained
95% match

Categories and Toposes: Visualized and Explained

£61.12 22 Jan 2026
Category Theory And Applications: A Textbook For Beginners (second Edition)
95% match

Category Theory And Applications: A Textbook For Beginners (second Edition)

£45.08 14 Jan 2026
Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)
95% match

Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)

Scientific Publishing

£47.23 21 Feb 2026
Springer - Cut Elimination in Categories: 6 (Trends in Logic)
95% match

Springer - Cut Elimination in Categories: 6 (Trends in Logic)

Springer

£120.96 20 Feb 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

£27.19 04 Apr 2026
2-Dimensional Categories
95% match

2-Dimensional Categories

Oxford University Press

£117.50 25 Jan 2026
Category Theory for the Sciences (The MIT Press)
95% match

Category Theory for the Sciences (The MIT Press)

MIT Press

£42.76 26 Jan 2026
Starting Category Theory
95% match

Starting Category Theory

World Scientific Publishing Company

£88.88 24 Jan 2026
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
95% match

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Springer

£149.64 19 Apr 2026