1 citations · 2 across the 3 of their papers we have counts for
3 papers
math.NT2023
A Point-Free Look at Ostrowski's Theorem and Absolute Values
Ming Ng, Steven Vickers
This paper investigates the absolute values on valued in the upper reals (i.e. reals for which only a right Dedekind section is given). These necessarily include multi…
math.CT2017★ 1 cited
Arithmetic universes and classifying toposes
Steven Vickers
Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of…
math.CT2014★ 1 cited
Geometric constructions preserve fibrations
Bertfried Fauser, Steven Vickers
Let be a representable 2-category, and a 2-endofunctor of the arrow 2-category such that (i) $\mathsf{cod} \mathfrak{T…