The geometry of Coherent topoi and Ultrastructures

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.Comment: 24 pages. Comments are welcome