8 citations · 8 across the 1 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2023
The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms
Steven Vickers
Working in point-free topology under the constraints of geometric logic, we prove the Fundamental Theorem of Calculus, and apply it to prove the usual rules for the derivatives of…
math.CT2018
Fibrations of AU-contexts beget fibrations of toposes
Sina Hazratpour, Steven Vickers
Suppose an extension map in the 2-category of contexts for arithmetic universes satisfies a Chevalley criterion for being a…
math.CT2012★ 8 cited
The Born rule as structure of spectral bundles (extended abstract)
Bertfried Fauser, Guillaume Raynaud, Steven Vickers
Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Dif…