Muutke küpsiste eelistusi

E-raamat: Cartesian Cubical Model Categories

  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Mathematics
  • Ilmumisaeg: 02-Jan-2026
  • Kirjastus: Springer Nature Switzerland AG
  • Keel: eng
  • ISBN-13: 9783032087300
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 67,91 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Cartesian Cubical Model CategoriesSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Mathematics
  • Ilmumisaeg: 02-Jan-2026
  • Kirjastus: Springer Nature Switzerland AG
  • Keel: eng
  • ISBN-13: 9783032087300
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.

Chapter
1. Introduction.
Chapter
2. Cartesian cubical sets.
Chapter
3. The cofibration weak factorization system.
Chapter
4. The fibration weak factorization system.
Chapter
5. The weak equivalences.
Chapter
6. The Frobenius condition.
Chapter
7. A universal fibration.
Chapter
8. The equivalence extension property.
Chapter
9. The fibration extension property.

Steve Awodey holds the Deans Chair in Logic at Carnegie Mellon University, where he is Professor of Philosophy and Mathematics. A founder of Homotopy Type Theory, he co-organized a special research year on Univalent Foundations at the Institute for Advanced Study (Princeton). His numerous publications include the textbook Category Theory and the collaborative volume Homotopy Type Theory: Univalent Foundations of Mathematics. He serves on several journal editorial boards and is coordinating editor of the Journal of Symbolic Logic. He has held visiting appointments at the Poincaré Institute (Paris), Newton Institute (Cambridge), Hausdorff Institute (Bonn), and the Centre for Advanced Studies (Oslo), and is currently a Royal Society Wolfson Visiting Fellow at Cambridge University.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830320873002e.html