1 paper
Saadia Gabriel, Yuksel Errol
We build on the recent development that toposes with enough points can be represented as categories of points equipped with ultraconvergence data (a.k.a. virtual ultracategories),…