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…