72 citations · 159 across the 26 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021
Algebraic Presentations of Type Dependency
Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North +1
C-systems were defined by Cartmell as the algebraic structures that correspond exactly to generalised algebraic theories. B-systems were defined by Voevodsky in his quest to formul…
math.CT2021
The Univalence Principle
Benedikt Ahrens, Paige Randall North, Michael Shulman +1
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based,…