Cartesian Cubical Model Categories (Lecture Notes in Mathematics, 2385) - Image 1

£49.76

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

Name: Cartesian Cubical Model Categories (Lecture Notes in Mathematics, 2385)
Brand: Springer
Price: 54.99 GBP
Availability: InStock

Algebra

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 6 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £55 (5 days, 83.3%)

Price range: £50 - £55

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

Brand: Springer
Format: paperback
ASIN: 3032087295
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 03 January 2026
Listed Since: 09 September 2025

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Hedgehog Theory (Lecture Notes in Mathematics, 2381)

Lectures on Nonlinear Dynamics (Understanding Complex Systems)

Researching Mathematical Modelling Education in Disruptive Times (International Perspectives on the Teaching and Learning of Mathematical Modelling)

Mathematical Tools for Neuroscience: A Geometric Approach (Lecture Notes in Morphogenesis)

Multivariable Calculus: Lecture Notes (University Mathematics Series)

CTB IBM Liberal Arts Math

Lectures on Differential Geometry with Maple (Textbooks in Mathematics)

Advances in Mathematics for Engineering Sciences (Mathematical Engineering)

Band Structure of Cubic Hydrides

Vortex Ring Models (Mathematical Engineering)

Knot Theory of Lens Spaces (De Gruyter Expositions in Mathematics)

Transformation Groups and Moduli Spaces of Curves (Advanced Lectures in Mathematics)

Monopole Maps and L² -cohomology (Springer Monographs in Mathematics)

Geometric Mechanics and Its Applications

Two-dimensional Product-Cubic Systems, Vol. IV: Crossing-quadratic Vector Fields

Computational Homological Algebra (Mathematical Engineering)

Springer Noncommutative Geometry and Particle Physics Book

Crystalline Metal Oxide Catalysts

Nonlinear Systems of Fractional Differential Equations

Vorlesungen Uber Algebraische Geometrie - de Gruyter Book

Cme, Coll Math F/Mlss W/Info

Discrete Isothermic Surfaces in Lie Sphere Geometry: 2375 (Lecture Notes in Mathematics, 2375)

Quantum Mathematics

Two-dimensional Single-Variable Cubic Nonlinear Systems, Vol. I: A Self-univariate Cubic Vector Field