The geometry of Coherent topoi and Ultrastructures
arXiv:2211.03104
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.
24 pages. Comments are welcome!