Lecture Notes in Mathematics - Steve Awodey

Instant online reading.
Don't wait for delivery!
Go digital and save!

Lecture Notes in Mathematics

By: Steve Awodey

Write A Review

Paperback | 3 January 2026

At a Glance

Paperback
154 Pages

Dimensions(cm)
23.39 x 15.6 x 0.84

Paperback

$157.75

or 4 interest-free payments of $39.44 with

or

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.