Grothendieck 拓扑的生成、可证明性及次拓扑的运算

在回顾了拓扑范畴在多个方面的作用——即作为广义拓扑空间、通用不变量、集合论宇宙的范畴类比以及一阶理论的语义环境——后，我们回顾了次拓扑的概念及其对偶表达：即以 Grothendieck 拓扑和一阶逻辑的形式。我们强调了这一双关性的重要性，这种双关性使得将一阶逻辑中的可证明性问题转化为关于 Grothendieck 拓扑生成问题成为可能。我们还引入了次拓扑上的自然几何运算，包括内运算和外运算。基于这些基础，我们提出了一种新的 Grothendieck 拓扑与次拓扑之间的二元性以及拓扑与次预象集合闭合性质之间二元性的新表述。这种表述依赖于一般范畴原则，旨在阐明涉及的结构关系。随后，我们提供了两个关于任意筛或覆盖族的 Grothendieck 拓扑生成的通用公式。此外，我们细化了将逻辑可证明性转化为拓扑生成的构造性程序，突出了其在拓扑范畴框架中桥接逻辑与几何的作用。最后，我们研究了次拓扑上的内几何运算：并、交和差，以及沿拓扑态手射的外余运算。我们证明了拉回运算不仅保持任意交集，也保持有限并的子拓扑；而且沿局部连接态手射的拉回运算甚至保持任意并。