Univalence Principle

Häftad, Engelska, 2025

Del i serien Memoirs of the American Mathematical Society

962 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2025-05-31
Mått:178 x 254 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Memoirs of the American Mathematical Society
Antal sidor:176
Förlag:American Mathematical Society
ISBN:9781470472696

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Benedikt Ahrens, Delft University of Technology, The NetherlandsPaige Randall North, Utrecht University, The NetherlandsMichael Shulman, University of San Diego, CaliforniaDimitris Tsementzis, Princeton University, New Jersey, and Rutgers University, New Brunswick, New Jersey.

Innehållsförteckning

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