2026-07-07T04:36:29Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:13867782026-06-10T15:00:20Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdCartesian cubical model categoriesAwodey, Steve1959-VerfasserautSpringer Nature Switzerland AGVerlagpbltextTextbookszXA-CHCham, SwitzerlandSpringer[2026]© 20262026monographicengprintxii, 137 Seiten : Diagramme ; 23,5 cmohne Hilfsmittel zu benutzenBand"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" [Verlag]Steve AwodeyAlgebraic topology.Mathematical logic.Algebra, Homological.9783032087294157046038099376539931206441HT031393978Online-Ausgabe9783032087300Lecture notes in mathematics2385(DE-605)HT00125322249HBZ_UBK49HBZ_WUP49HBZ_UBO49HBZ_ULM49HBZ_DUE49HBZ_UBA49HBZ_ULB49HBZ_FUHrda26020420260401093903.0154376801ger https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D154376801+X0001 https://ce.visuallibrary.net/id/1386778 https://ce.visuallibrary.net/i3f/v20/1386778/manifest https://ce.visuallibrary.net/proto_ftsearch/1386778