{"id":"arxiv/2609.31445","url":"https://arxiv.org/abs/2609.31445","tags":["math.CT","math.LO"],"score":0,"title":"Geometric morphisms of virtual ultracategories","domain":"math.CT","source":"arxiv","authors":["Saadia Gabriel","Yuksel Errol"],"reviews":0,"subject":"math.CT","summary":"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), characterizing usual classes of geometric morphisms --- surjections, embeddings, hyperconnected maps, and localic maps --- in terms of their points. In particular, the characterisation of geometric surjections relies on a notion of \"virtual ultraretractions\", which generalises usual retractions and filtered colimits, categorifies Johnstone's notion of subclosure for topological spaces, and provides a new…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}