The Univalence Principle

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis