关于Ord-富集范畴的松弛原模块化
摘要：关于Ord-enriched范畴的代数特性的可能宽松版本为我们的主要关注点。我们的激励例子是预序交换群范畴OrdAb；实际上，虽然交换群形成一个代数特性范畴，但OrdAb则不是。 考虑到逗号对象在富集上下文中的作用，我们将一些关于逗号对象而不是拉回的特性作为特征性质来考虑代数特性。我们证明，在任何Ord富集的有限完备范畴中，用逗号对象适当代替拉回所得到的某些特性与代数特性之间的等价仍然成立，我们提议将这种Ord富集的范畴称为宽松代数特性。最后，我们研究了带有合适的Ord富集的OrdAb的这种宽松代数性，并证明OrdAb对于较弱的逗号对象的等价宽松代数特性具有实现；我们称这样的范畴为宽松预代数特性。
作者：Maria Manuel Clementino, Andrea Montoli, Diana Rodelo
论文ID：2210.14332
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-27