3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.CT2025
Toposes with enough points as categories of étale spaces
Sam van Gool, Jérémie Marquès, Umberto Tarantino
We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplif…
math.LO2022★ 3 cited
On duality and model theory for polyadic spaces
Sam van Gool, Jérémie Marquès
This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open pol…