Awodey, Steve Cartesian Cubical Model Categories (Lecture Notes in Mathematics, Band 2385)

'Cartesian Cubical Model Categories' von Steve Awodey, Teil der Reihe 'Lecture Notes in Mathematics', Band 2385, behandelt die theoretischen Grundlagen und Anwendungen von kubischen Modellkategorien im Bereich der Homotopietheorie und der Kategorientheorie. Das Buch führt den Leser in die Konzepte der kubischen Mengen ein und untersucht deren Rolle in der Modellierung von Homotopietypen. Es legt besonderen Fokus auf die Entwicklung einer allgemeinen Theorie kartesischer kubischer Modelle, die es ermöglicht, homotopietheoretische Konstruktionen präzise zu formulieren und zu analysieren. Zudem werden Verbindungen zur Typentheorie und deren Relevanz für die Informatik diskutiert. Durch eine Kombination aus theoretischen Erklärungen und praktischen Beispielen bietet das Buch sowohl Mathematikern als auch Informatikern wertvolle Einblicke in moderne Methoden der algebraischen Topologie.