Shulman, Michael The Univalence Principle (Memoirs of the American Mathematical Society, 305)

'The Univalence Principle' von Michael Shulman, veröffentlicht in den Memoirs of the American Mathematical Society, ist ein mathematisches Werk, das sich mit der Univalenzaxiomatik im Bereich der Homotopietypentheorie befasst. Die Univalenzaxiomatik ist ein Konzept, das aus der Verbindung von Homotopietheorie und Typentheorie entsteht und eine neue Perspektive auf die Grundlagen der Mathematik bietet. In diesem Buch untersucht Shulman die theoretischen Implikationen des Univalenzprinzips, insbesondere wie es zur Entwicklung neuer mathematischer Strukturen und Beweise genutzt werden kann. Der Autor legt dabei großen Wert auf die formale Darstellung und die logischen Konsequenzen dieser Theorie innerhalb der mathematischen Gemeinschaft.