[论文解读] On the axioms for adhesive and quasiadhesive categories

Richard Garner, Stephen Lack|arXiv (Cornell University)|Aug 15, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 13

一句话总结

本文通过分析沿单射的上积与上积之间的精确性条件，建立了黏着范畴与准黏着范畴的四个刻画定理。引入了rm-黏着与rm-准黏着范畴的概念——分别通过沿正则单射的上积及与拓扑斯和准拓扑斯中类似的精确性条件来定义。其主要贡献是一个完整的嵌入定理：每个小的rm-准黏着范畴均可全且结构保持地嵌入一个格罗滕迪克准拓扑斯中，且反之亦然，从而通过此嵌入性质精确刻画了这类范畴。

ABSTRACT

A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing with adhesive categories and their variants.

研究动机与目标

• 通过隔离沿单射的上积与上积之间的精确性条件，澄清黏着范畴与准黏着范畴的公理基础。
• 解决某些感兴趣范畴虽非黏着但仍表现出拓扑斯类似行为的局限性。
• 通过使用正则单射而非一般单射，引入并刻画rm-黏着与rm-准黏着范畴。
• 建立小rm-准黏着范畴到格罗滕迪克准拓扑斯的完整嵌入定理，提供范畴上的刻画。

提出的方法

• 通过沿单射的上积满足van Kampen条件来定义黏着范畴，确保其在上积下保持稳定与精确。
• 通过限制为沿正则单射的上积，并保留与拓扑斯中相同的精确性条件，引入rm-黏着范畴。
• 通过将精确性条件放宽至在准拓扑斯中成立的形式，同时保留沿正则单射的上积与上积，引入rm-准黏着范畴。
• 通过将已有预拓扑扩展以包含由沿正则单射的上积所生成的配对态射的覆盖族，在一个小的rm-准黏着范畴上构造一个格罗滕迪克拓扑。
• 证明在新拓扑下，表示函子是k-分离的，并满足层条件，从而确保上积被映射为上积。
• 利用层化过程及拓扑的性质，建立任意小的rm-准黏着范畴到格罗滕迪克准拓扑斯的完整、结构保持的嵌入。

实验结果

研究问题

• RQ1 哪些沿单射的上积与上积之间的精确性条件是刻画黏着范畴的必要且充分条件？
• RQ2 当黏着范畴的性质被限制为沿正则单射而非所有单射时，其性质如何变化？
• RQ3 对于沿正则单射的上积，其在准拓扑斯中成立的精确性条件所对应的范畴结构是什么？
• RQ4 每个小的rm-准黏着范畴是否都能全且结构保持地嵌入一个格罗滕迪克准拓扑斯中，同时保持极限与沿正则单射的上积？
• RQ5 一个范畴作为rm-准黏着范畴，其可嵌入准拓扑斯的性质如何刻画？

主要发现

• 每个小的rm-准黏着范畴均可全且结构保持地嵌入一个格罗滕迪克准拓扑斯中，且保持所有存在的极限与沿正则单射的上积。
• 该嵌入通过一个格罗滕迪克拓扑构造而成，其覆盖族包括原有拓扑的覆盖族以及所有由沿正则单射的上积所诱导的配对态射的拉回。
• 在新拓扑下，范畴中的表示函子成为k-分离的，且层条件确保沿正则单射的上积被映射为上积。
• 由沿正则单射的上积所诱导的态射对$ m_2 $与$ \rho $是稳定联合满的，这是实现嵌入的关键技术结果。
• 反之亦然：任何准拓扑斯的全子范畴，若对上积与沿正则单射的上积封闭，则为rm-准黏着范畴。
• 因此，一个具有所有上积与沿正则单射的上积的小范畴，当且仅当它可全且结构保持地嵌入一个准拓扑斯时，才是rm-准黏着范畴。