13 citations · 17 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022★ 13 cited
Univalent foundations and the equivalence principle
Benedikt Ahrens, Paige Randall North
In this paper, we explore the 'equivalence principle' (EP): roughly, statements about mathematical objects should be invariant under an appropriate notion of equivalence for the ki…
math.LO2020
A Higher Structure Identity Principle
Benedikt Ahrens, Paige Randall North, Michael Shulman +1
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant und…