[论文解读] An embedding theorem for adhesive categories

Stephen Lack|arXiv (Cornell University)|Mar 3, 2011

Advanced Numerical Analysis Techniques参考文献 6被引用 7

一句话总结

本文建立了对粘合范畴的嵌入定理，证明了每个小粘合范畴均可全忠实嵌入到一个拓扑空间中，同时保持所有有限极限和沿单射的上向极限。其核心贡献在于表明，定义粘合范畴的精确性条件恰好捕捉了在任一拓扑空间中沿单射的上向极限与上拉极限之间的相互作用。

ABSTRACT

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos.

研究动机与目标

• 通过证明每个小粘合范畴均可全忠实嵌入到一个拓扑空间中，建立已知事实（即每个拓扑空间都是粘合范畴）的逆命题。
• 表明粘合范畴定义中的精确性条件恰好是任一拓扑空间中沿单射的上向极限与上拉极限所满足的条件。
• 提供一个范畴框架，以捕捉在拓扑理论中沿单射的上向极限与上拉极限之间本质的结构相互作用。
• 将嵌入定理的模式（如正则范畴和广义范畴的嵌入定理）扩展到粘合范畴的设定中。

提出的方法

• 在小粘合范畴上构造一个由沿单射的上向极限正方形生成的格罗滕迪克拓扑。
• 使用到该范畴的预层范畴上的雅可比嵌入，然后将该嵌入限制到该拓扑下的全子范畴（即层范畴）。
• 通过验证由沿单射的上向极限生成的所有生成覆盖满足层条件，证明雅可比嵌入的像落在层范畴中。
• 证明受限的雅可比函子保持所有有限极限，因为雅可比嵌入本身总是保持极限。
• 通过验证层将此类上向极限映射为集合范畴中的极限（利用层条件和某些映射的联合单性），证明嵌入保持沿单射的上向极限。
• 应用引理3.3分析核对的结构，并利用某些映射的联合单性，确立层条件中所需的唯一性。

实验结果

研究问题

• RQ1 每个小粘合范畴是否均可全忠实嵌入到一个拓扑空间中，同时保持其结构特征？
• RQ2 粘合范畴定义中的精确性条件是否恰好是任一拓扑空间中沿单射的上向极限与上拉极限所满足的条件？
• RQ3 到合适层范畴的雅可比嵌入是否保持粘合范畴中沿单射的上向极限？
• RQ4 在小粘合范畴上是否存在一个格罗滕迪克拓扑，使得该拓扑下的层范畴构成一个拓扑空间，且嵌入保持所需的余极限与极限？
• RQ5 在极限与余极限相互作用的范畴关系上，粘合范畴与拓扑空间之间的确切范畴关系是什么？

主要发现

• 每个小粘合范畴均可全忠实嵌入到一个拓扑空间中，且保持所有有限极限和沿单射的上向极限。
• 该嵌入通过沿单射的上向极限正方形生成的格罗滕迪克拓扑下的雅可比嵌入到层范畴中构造而成。
• 该拓扑的层条件确保了雅可比像落在层范畴中，从而使嵌入成为全忠实的。
• 通过证明层将此类上向极限映射为集合范畴中的极限（利用由核对结构导出的某些映射的联合单性），建立了沿单射的上向极限的保持性。
• 该证明依赖于引理3.3，该引理表明某些沿单射的上向极限是上拉极限，从而支持了层条件的验证。
• 该结果确认了粘合范畴的公理恰好捕捉了在任一拓扑空间中沿单射的上向极限与上拉极限之间的精确性条件。