[论文解读] Enriched factorization systems

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|Jan 1, 2014

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

一句话总结

本文在对称单幕范畴 $β$-范畴上建立了丰富因子分解系统的基础理论，通过基于同态对象的 $β$-丰富正交性条件，将经典因子分解系统推广至 $β$-范畴。主要贡献在于证明了在广泛类别的丰富范畴（包括局部可及、拓扑和模型类范畴）中，存在丰富 $(̀\text{Epi},\text{Strong Mono})$ 与 $(̀\text{Strong Epi},\text{Mono})$-因子分解系统。

ABSTRACT

In a paper of 1974, Brian Day employed a notion of factorization system in the context of enriched category theory, replacing the usual diagonal lifting property with a corresponding criterion phrased in terms of hom-objects. We set forth the basic theory of such enriched factorization systems. In particular, we establish stability properties for enriched prefactorization systems, we examine the relation of enriched to ordinary factorization systems, and we provide general results for obtaining enriched factorizations by means of wide (co)intersections. As a special case, we prove results on the existence of enriched factorization systems involving enriched strong monomorphisms or strong epimorphisms.

研究动机与目标

• 正式化并发展丰富因子分解系统的基础理论，将经典因子分解系统推广至对称单幕范畴 $β$ 上的范畴。
• 阐明丰富因子分解系统与底层普通范畴中普通因子分解系统之间的关系。
• 通过同态对象中的广义（共）交集与正交性条件，提供丰富因子分解系统的一般存在性结果。
• 建立丰富强单射与强满射构成因子分解系统部分的条件。
• 在广泛类别的范畴（如 $β$-代数与丰富图式模型）中，展示典范丰富因子分解系统的存在性。

提出的方法

• 通过 $β$ 中同态对象上的拉回条件定义 $β$-丰富正交性，推广经典对角提升性质。
• 在丰富设定下，引入丰富预因子分解系统，即在特定提升与闭包条件下封闭的态射类。
• 使用态射的广义（共）交集构造因子分解系统，特别关注 $β$-单射与 $β$-满射。
• 应用丰富预因子分解系统在 $β$-范畴中关于极限与余极限的稳定性结果。
• 利用良好幂集性、余张量化及 $β$-范畴中极限/余极限的性质，推导存在性定理。
• 对偶化结果，通过丰富正交性与在（共）极限下闭包，获得涉及强满射与单射的因子分解系统。

实验结果

研究问题

• RQ1 在何种条件下，丰富范畴会存在包含丰富强单射或强满射的因子分解系统？
• RQ2 丰富因子分解系统与底层范畴中其对应的普通因子分解系统之间有何关系？
• RQ3 哪些一般范畴构造（如广义交集）可用于构建丰富因子分解系统？
• RQ4 在哪些丰富范畴类中——如 $β$-代数或丰富加权极限图式模型——存在丰富 $(̀\text{Epi},\text{Strong Mono})$ 与 $(̀\text{Strong Epi},\text{Mono})$-因子分解系统？
• RQ5 哪些结构性质（如良好幂集性、极限/余极限的存在性）足以保证丰富因子分解系统的存在？

主要发现

• 在满足 $β$-强单射下良好幂集、具有小 $β$-极限与 $β$-余核对的 $β$-范畴 $β$ 上，对偶 $(\operatorname{\textnormal{{Epi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{StrMono}}}_{\mathscr{V}}\mathscr{B})$ 构成一个 $β$-因子分解系统。
• 在满足 $β$-强满射下共良好幂集、具有小 $β$-余极限与 $β$-核对的 $β$-范畴 $β$ 上，对偶 $(\operatorname{\textnormal{{StrEpi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{Mono}}}_{\mathscr{V}}\mathscr{B})$ 构成一个 $β$-因子分解系统。
• 在闭的、局部可及的或良好幂集的 $β$-范畴上的 $β$-代数中，标准完备性与良好幂集性条件即足以保证丰富因子分解系统的存在。
• 对于 $β$-丰富加权极限图式模型的范畴，通过 $β$-反射性与环境范畴的良好幂集性，确立了两种典范丰富因子分解系统的存在性。
• 该理论统一并推广了拓扑范畴与代数范畴中的经典因子分解系统，表明丰富强单射与强满射自然构成 $β$-因子分解系统的一部分。
• 对 $(\operatorname{\textnormal{{Epi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{StrMono}}}_{\mathscr{V}}\mathscr{B})$ 存在性结果的对偶，给出了在对偶条件下 $(\operatorname{\textnormal{{StrEpi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{Mono}}}_{\mathscr{V}}\mathscr{B}})$ 存在性，证实了理论中的对称性。