[论文解读] Homotopy-theoretic aspects of 2-monads

Stephen Lack|arXiv (Cornell University)|Jul 26, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 48

一句话总结

本文利用Cat-提升模型范畴，构建了2-2-单子的同伦理论框架，构造了2-单子代数2-范畴及2-单子自身2-范畴上的非平凡模型结构。关键贡献在于严格T-代数上的模型结构，其中弱等价性由底范畴的平凡模型结构定义，从而实现了2-范畴论中代数结构的同伦分析，且通过单子的灵活性确保了纤维性及沿等价关系的结构传递。

ABSTRACT

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a canonical model structure in which the weak equivalences are the equivalences; we use these to construct more interesting model structures on 2-categories, including a model structure on the 2-category of algebras for a 2-monad T, and a model structure on a 2-category of 2-monads on a fixed 2-category K.

研究动机与目标

• 通过Cat-提升模型范畴建立2-单子理论的同伦理论框架。
• 在2-单子代数的2-范畴上构造非平凡模型结构，超越经典的平凡模型结构。
• 阐明在2-范畴中，代数结构可通过何种条件沿等价关系传递，特别是通过灵活单子的条件。
• 研究从T-代数到基2-范畴的遗忘2-函子的纤维性与同伦性质。
• 探究单子态射的2维提升性质及其对代数2-范畴中纤维性的影晌。

提出的方法

• 利用Cat-提升模型范畴，其中基范畴为Cat及其经典模型结构，以在2-范畴上定义模型结构。
• 在任意具有有限极限与上确界的2-范畴上构造一个经典平凡模型结构，其中弱等价性为范畴等价。
• 通过遗忘2-函子U_s: T-Alg_s → K沿平凡模型结构的拉回，定义严格T-代数2-范畴上的模型结构。
• 应用Quillen模型理论中的提升技巧，当2-单子T为灵活时，将代数结构沿等价关系扩展。
• 分析单子态射j: S → T的2维提升性质，表明在共纤维性假设下，j*保持纤维与平凡纤维。
• 证明从单子到代数2-范畴的半函子sem保持纤维与平凡纤维，但因2-CAT/K中的大小问题而无法拥有完整的左伴随。

实验结果

研究问题

• RQ1 在何种条件下，2-单子的代数结构可沿基2-范畴中的等价关系传递？
• RQ2 如何通过Cat-提升在2-单子代数的2-范畴上构造模型结构？
• RQ3 2-单子的灵活性在确保纤维性与代数结构提升中起何种作用？
• RQ4 单子态射如何在代数层面上诱导纤维性？其何时保持弱等价性？
• RQ5 为何2-函子sem: Mnd_f(K)^op → 2-CAT/K无法拥有左伴随？何种子2-范畴可能支持此类伴随？

主要发现

• 在任意具有有限极限与上确界的2-范畴上存在一个经典平凡模型结构，其中弱等价性为范畴等价。
• T-Alg_s上的模型结构是非平凡的：T-Alg_s中的弱等价性不一定是代数2-范畴中的等价。
• 对于灵活2-单子，代数结构可沿等价关系传递，从而保证遗忘2-函子U: T-Alg → K为纤维化。
• 遗忘2-函子U: T-Alg_s → K为纤维化当且仅当T是灵活的，这等价于沿等价关系提升的普遍性质存在。
• 从单子到代数2-范畴的sem-函子保持纤维与平凡纤维，但因2-CAT/K中的大小约束而缺乏左伴随。
• sem无法拥有左伴随的原因在于2-CAT/K的大小；一个合适的较小子2-范畴可能支持此类伴随。