论文标题
纤维站点和存在性座椅
Fibred sites and existential toposes
论文作者
论文摘要
在通过堆栈相对拓扑理论的背景下，我们介绍了存在纤维位点的概念和此类位点的存在性拓扑的概念。这些概念使我们能够以一种自然概括在语言环境上构造皮带轮的造型的方式来开发相对的拓扑理论，并提供了一个框架，以研究由位点和基本饰面建造的Grothendieck Postoses之间的连接。然后，我们专注于纤维预订位点，并建立预订位点理想完成的纤维概括。最后，我们提供了对几何形态的超网站分解的明确描述，从内部局部进行。
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the construction of toposes of sheaves on locales, and also provides a framework for investigating the connections between Grothendieck toposes as built from sites and elementary toposes as built from triposes. Then we focus on fibred preorder sites and establish a fibred generalisation of the ideal-completion of a preorder site. Lastly, we provide an explicit description of the hyperconnected-localic factorization of a geometric morphism in terms of internal locales.
