Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Benedikt Ahrens
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.