丰富的准范畴及时序同调合理神经
摘要：在一个具有替代性质的幺半范畴$mathcal{V}$中为拟类别理论奠定基础，以取代$mathrm{Set}$，旨在实现在$mathcal{V}$中的弱富集。为了适应非笛卡尔积的幺半乘积，我们利用$mathcal{V}$中的templicial对象或“张量-单纯”对象的环境范畴$S\_{otimes}mathcal{V}$，这些对象是遵循Leinster（2004年）的某些共轴幺半函子。受Dugger和Spivak（2009年）描述范畴化函子的启发，我们构造了一个从$Smathcal{V}$-富集范畴到templicial对象的同伦一致神经函数的templicial类比。我们证明，一个底层单纯范畴是局部Kan的$Smathcal{V}$-富集范畴通过该神经函数转化为$mathcal{V}$中的拟类别。
作者：Wendy Lowen and Arne Mertens
论文ID：2302.02484
分类：Category Theory
分类简称：math.CT
提交时间：2023-02-07