"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...