[论文解读] Generalized Reedy diagrams in tribes

El Mehdi Cherradi|arXiv (Cornell University)|Feb 19, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文从一个严格 Reedy 类 D_R 构造一个绝对致密的函子到广义 Reedy 类 R，并利用此来在给定部族中的 fibrant -diagram 的子范畴上诱导部族结构，前提是 R 是广义逆向（generalized inverse）类别。

ABSTRACT

Starting from a generalized Reedy category $R$ satisfying a simple condition, we construct an absolutely dense functor $\mathbf{D}_R o R$ with domain a strict Reedy category. In the case of a generalized inverse category $R$, and given any tribe $\mathcal{T}$, we leverage this construction to provide a tribe structure on a subcategory of fibrant diagrams in $\mathcal{T}^R$.

研究动机与目标

• 将 Reedy 图技术推广到允许非恒等同构的广义 Reedy 类以进行分析的动机。
• 给出一个从 D_R 到 R 的投影绝对致密且构成严格 Reedy 类的构造。
• 利用展开过程在部族的 fibrant diagram 子范畴上定义部族结构。
• 证明该框架为在广义逆向上下文中研究图范畴提供一个函子路径。

提出的方法

• 从广义 Reedy 类 R（满足提升至严格 Reedy 类 R_0 的条件）定义展开构造 D_R。
• 证明 D_R 继承严格 Reedy 类结构，且规范投影 p: D_R -> R 是绝对致密的。
• 通过在 p 的拉回下引入逐点 Reedy fibrations，将设定扩展到部族中的图的 p-fibrations。
• 使用右 Kan 延拓来传输 fibrant 条件，并通过 p_* 和 p^* 保持 fibrations 与等价无碍映射，建立图中的部族结构。
• 应用纤维化-共纤维化框架，确保预组合在部族上下文中保持 Reedy fibrations。
• 若 T 是 pi-部族，则 fibrant 图 T^{R^{op}} 也形成 pi-部族。

实验结果

研究问题

• RQ1 如何利用具有非平凡同构的广义 Reedy 类来定义和分析部族中的图范畴？
• RQ2 在何种条件下展开构造 D_R 能 yield 一个绝对致密的函子 p: D_R -> R，从而实现 fibrant 结构的转移？
• RQ3 是否可以沿着 p^* 与 p_* 传输 Reedy fibrations 与无碍映射，以在 T^{R^{op}} 的 fibrant 图中获得部族结构？
• RQ4 在由广义逆向类别形状的图中，对内部积与 pi-部族结构会有哪些影响？

主要发现

• D_R 上获得严格 Reedy 类结构，且投影 p: D_R -> R 绝对致密。
• 沿 D_R 到 R 的预组合保持 Reedy fibrations，并在相应的图范畴之间给出部族的态射。
• 沿 p 的右 Kan 延拓保持 fibrancy，并将 fibrations 映射到 p-fibrations，在 p_* 与 p^* 下保持点态无碍映射。
• 在 T^{R^{op}} 中的 p- fibrant 图范畴形成一个部族，p-fibrations 在拉回和复合下封闭，且点态无碍映射在部族内被识别为无碍。
• 若 T 是 pi-部族，则 T^{R^{op}}_{f} 也形成 pi-部族，在 fibrations 上保持内部积。
• 给出一个群 G 的具体例子，显示 D_G 如何编码自由自同构并在 T^{G^{op}} 上产生部族结构。