2000 character limit reached
The geometry of Coherent topoi and Ultrastructures (2211.03104v1)
Published 6 Nov 2022 in math.CT, math.GN, and math.LO
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.