Showing 2024 · math.CTShow all
2 papers · 2 filters
math.CT2024
Topoi with enough points and topological groupoids
Joshua Wrigley
We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids
math.CT2024
Existentially closed models and locally zero-dimensional toposes
Mark Kamsma, Joshua Wrigley
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models ex…