The Univalence Principle
• The Univalence Principle Posted by Mike Shulman (guest post by Dimitris Tsementzis, about joint work with Benedikt Ahrens, Paige North, and Mike Shulman) The Univalence Principle
• The Univalence Principle Posted by Mike Shulman (guest post by Dimitris Tsementzis, about joint work with Benedikt Ahrens, Paige North, and Mike Shulman) The Univalence Principle