The univalence principle / Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis. Providence, RI : American Mathematical Society, [2025], © 2025