[论文解读] Quasitopoi over a base category

Eduardo J. Dubuc, Luis Español González|ArXiv.org|Dec 22, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 4

一句话总结

本文引入了 $f$-正则范畴与 $f$-正则函子的概念，以构建基于基范畴的新的具体准拓扑斯框架，推广了 Penon 关于初等准拓扑斯的工作。研究证明：在 $f$-正则范畴上，严格拟空间的范畴本身即为一个 $f$-准拓扑斯，提供了严格拟空间包含函子的左伴随，并表明相关函子为 $f$-正则，从而形成一个点化准拓扑斯的理论。

ABSTRACT

In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of f-regular functor. The f-regular categories are regular categories in which every family with a common codomain can be factorized into a strict epimorphic family followed by a (single) monomorphism. The f-regular functors are (essentially) functors that preserve finite strict monomorphic and arbitrary strict epimorphic families. These two concepts furnish the context to develop the constructions of the theory of concrete quasitopoi over a suitable base category, which is a theory of pointed quasitopoi. Our results on quasispaces and quasitopoi, or closely related ones, were already established by Penon, but we prove them here with different assumptions and generality, and under a completely different light.

研究动机与目标

• 通过使用 $f$-正则范畴与函子，在基范畴上发展新的具体准拓扑斯框架。
• 通过去除有界性条件，推广 Penon 的初等准拓扑斯理论，从而包含诸如大范畴上的分离层等重要例子。
• 证明在 $f$-正则范畴上，严格拟空间的范畴构成一个 $f$-准拓扑斯，提供比有界准拓扑斯更自然且更一般的设定。
• 表明严格拟空间到所有拟空间的包含函子 admits 一个左伴随，从而构造一个余反射函子。

提出的方法

• 将 $f$-正则范畴定义为具有 $f$-分解的正则范畴：每个具有共同上域的族均可分解为严格满射族后接单射。
• 将 $f$-正则函子定义为保持有限严格单射族与任意严格满射族的函子。
• 利用先前工作的箭簇系统理论，将严格满射族表征为一般语境下的终满射族。
• 构建基于基范畴 $\mathbb{S}$ 的拟空间范畴，其具有由对象类 $\mathbb{I}$ 索引的可接受映射结构。
• 通过拉回与精化涉及的普遍性质定义严格拟空间，确保与 $f$-正则结构相容。
• 证明从严格拟空间到基范畴的函子是拓扑的，并且严格拟空间到所有拟空间的包含函子 admits 一个左伴随。

实验结果

研究问题

• RQ1 如何将准拓扑斯理论推广到有界性设定之外，以包含大范畴上的分离层等类别？
• RQ2 基范畴需满足何种条件，才能使严格拟空间的范畴构成一个 $f$-准拓扑斯？
• RQ3 严格拟空间到所有拟空间的包含函子是否可配备一个左伴随？这对范畴结构意味着什么？
• RQ4 $f$-正则范畴与函子如何为构造和表征无大小限制的准拓扑斯提供自然框架？
• RQ5 函子 $q_s$ 在连接严格拟空间与基范畴中起什么作用？它与几何态射有何关联？

主要发现

• 在 $f$-正则范畴 $\mathbb{S}$ 上，严格拟空间的范畴本身即为一个 $f$-准拓扑斯，推广了 Penon 的初等准拓扑斯。
• 严格拟空间到所有拟空间的包含函子 admits 一个左伴随，该伴随函子为任一给定拟空间构造最小的严格拟空间结构。
• 从严格拟空间到基范畴的函子 $q_s: s\mathbb{Q} \to \mathbb{S}$ 是拓扑的，且 $s\mathbb{Q}$ 对初始族封闭。
• $q_s$ 与 $i$（包含函子）均为 $f$-正则，即它们保持严格满射族与单射族的相关结构。
• 通过构造拟空间 $S_{\bot_{\ell}}$，可为 $\mathbb{S}$ 中任意对象 $S$ 提供一种自然方式，利用 $uI \to S$（$I \in \mathbb{I}$）的映射生成最小的严格拟空间结构。
• 该理论建立了一个层级结构：有界准拓扑斯 $\Rightarrow$ $f$-准拓扑斯 $\Rightarrow$ 初等准拓扑斯，其中 $f$-准拓扑斯是最一般且最自然的具体准拓扑斯设定。