1 paper · 1 filter
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),…