Del 0 - Memoirs of the American Mathematical Society

Univalence Principle

Häftad, Engelska, 2025

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

1 269 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2025-05-31
Mått178 x 254 x undefined mm
FormatHäftad
SpråkEngelska
SerieMemoirs of the American Mathematical Society
Antal sidor176
FörlagAmerican Mathematical Society
ISBN9781470472696

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

1. Introduction2. Introduction to two-level homotopy type theory and univalent foundations1. Theory of Diagram Structures3. Categories: An extended example4. Diagram signatures in Two-Level Type Theory5. Indiscernibility and univalence for diagram structures6. The univalence principle for diagram structures2. Examples of Diagram Structures7. Structured sets8. Structured 1-categories9. Higher categories10. Strict categorical structures11. Graphs and Petri nets12. Enhanced categories and higher categories13. Unnatural transformations and nonfunctorial operations3. Theory of Functorial Structures14. Functorial signatures15. Levelwise equivalences of structures16. Indiscernibility and univalence17. Equivalence of structures and the univalence principle18. Examples of functorial structures19. Conclusion