论文标题
连贯的拓扑和超微结构的几何形状
The geometry of Coherent topoi and Ultrastructures
论文作者
论文摘要
我们表明，相干的托皮伊（Topoi）在Topoi的平坦嵌入方面是正确的KAN注射剂。由于这个结果，我们在其点类别上恢复了其积分类别。我们推测在形式模型理论的各个领域中可能的超法概念。
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.
