Benedikt Ahrens

Publications

• Univalent Foundations and the Equivalence Principle. Benedikt Ahrens, Paige Randall North. 2022.
• Bicategories in Univalent Foundations. Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide. 2022.
• A Higher Structure Identity Principle. Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis. 2020.