Univalence PrincipleBenedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis · First published 2025Open the Tome