弱可逆细胞在弱$omega$-范畴中
摘要：在勒因斯特的意义下，我们研究了弱$\omega$-范畴中的弱可逆细胞，采用了程的共同归纳定义弱可逆性。我们证明了在一个弱$\omega$-范畴中，弱可逆的细胞在全局粘贴下是封闭的。利用这一点，我们将已知在严格$\omega$-范畴中成立的弱可逆细胞的基本性质推广到弱$\omega$-范畴，并且证明了每一个弱$\omega$-范畴都有一个最大的弱$\omega$-子群体。
作者：Soichiro Fujii, Keisuke Hoshino, Yuki Maehara
论文ID：2303.14907
分类：Category Theory
分类简称：math.CT
提交时间：2023-03-28