  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.
