The geometry of Coherent topoi and Ultrastructures
Category Theory
2022-11-08 v1 General Topology
Logic
Abstract
We show that coherent topoi are right Kan injective with respect to flat embeddings of topoi. We recover the ultrastructure on their category of points as a consequence of this result. We speculate on possible notions of ultracategory in various arenas of formal model theory.
Keywords
Cite
@article{arxiv.2211.03104,
title = {The geometry of Coherent topoi and Ultrastructures},
author = {Ivan Di Liberti},
journal= {arXiv preprint arXiv:2211.03104},
year = {2022}
}
Comments
24 pages. Comments are welcome!