Geometric morphisms of virtual ultracategories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.31445
curl -X POST /api/v1/records/arxiv/2609.31445/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.31445/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'