MOTHER'S DAY SPECIALS! SHOW ME MORE

Close Notification

Your cart does not contain any items

The Univalence Principle by Benedikt Ahrens at Abbey's Bookshop,
The Univalence Principle
— —
Benedikt Ahrens Paige Randall North

The Univalence Principle

Benedikt Ahrens,  Paige Randall North,  Michael Shulman ,  Dimitris Tsementzis

$219

Paperback

Not in-store but you can order this
How long will it take?
English
American Mathematical Society
28 February 2025
Mathematical foundations; Mathematical logic
Series: Memoirs of the American Mathematical Society
The Memoirs of the AMS is devoted to the publication of new research in all areas of pure and applied mathematics. The Memoirs is designed particularly to publish long papers of groups of cognate papers in book form, and is under the supervision of the Editorial Committee of the AMS journal Transactions of the American Mathematical Society. All papers are peer-reviewed.
By:   , , ,
Imprint:   American Mathematical Society
Country of Publication:   United States
Dimensions:   Height: 254mm,  Width: 178mm, 
ISBN:   9781470472696
ISBN 10:   1470472694
Series:   Memoirs of the American Mathematical Society
Pages:   176
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active
1. Introduction 2. Introduction to two-level homotopy type theory and univalent foundations 1. Theory of Diagram Structures 3. Categories: An extended example 4. Diagram signatures in Two-Level Type Theory 5. Indiscernibility and univalence for diagram structures 6. The univalence principle for diagram structures 2. Examples of Diagram Structures 7. Structured sets 8. Structured 1-categories 9. Higher categories 10. Strict categorical structures 11. Graphs and Petri nets 12. Enhanced categories and higher categories 13. Unnatural transformations and nonfunctorial operations 3. Theory of Functorial Structures 14. Functorial signatures 15. Levelwise equivalences of structures 16. Indiscernibility and univalence 17. Equivalence of structures and the univalence principle 18. Examples of functorial structures 19. Conclusion

Benedikt Ahrens, Delft University of Technology, The Netherlands Paige Randall North, Utrecht University, The Netherlands Michael Shulman, University of San Diego, California Dimitris Tsementzis, Princeton University, New Jersey, and Rutgers University, New Brunswick, New Jersey.

See Also

The Univalence Principle

Mathematics for the Million

How to Master the Magic of Numbers...

Lancelot Hogben

Paperback

$33.95 

In Stock 😊

ADD +
The Univalence Principle

Math Mammoth Grade 3-B Worktext,...

Maria Miller

Paperback

$44.95  $37.92

Not in-store but you can order this

ADD +
The Univalence Principle

Math Mammoth Grade 3 Answer Keys,...

Maria Miller1

Paperback

$38.95  $33.15

Not in-store but you can order this

ADD +
The Univalence Principle

The Mathematical Contest in Modeling...

MCM Problem Book 1985–2021

William C. Bauldry

Hardback

$96.99 

Not in-store but you can order this

ADD +
The Univalence Principle

Math Mammoth Grade 8 Answer Keys,...

Maria Miller

Paperback

$52.95  $44.87

Not in-store but you can order this

ADD +
The Univalence Principle

Oxford Maths for Australian Schools...

Murray

Paperback

$19.95 

Not in-store but you can order this

ADD +