The geometry of Coherent topoi and Ultrastructures
From MaRDI portal
Publication:6416282
arXiv2211.03104MaRDI QIDQ6416282FDOQ6416282
Authors: Ivan Di Liberti 
Publication date: 6 November 2022
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.
This page was built for publication: The geometry of Coherent topoi and Ultrastructures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6416282)
