类别化操作理论的一致性
摘要：关于代数理论，我们提出了通过（可能是对称的）操作符代数P来描述的理论的“弱化”（或者是“范畴化”）的定义，其中对于P-代数仅仅通过连续同构成立的方程仅在这个范畴理论中成立。这个定义推广了串联范畴和对称串联范畴的理论以及文献中定义的几个相关概念。利用这个定义，我们推广了每一个串联范畴都可以串联等价地与一个严格串联范畴，而严格化函子具有一个有趣的泛性质，即是从严格P-范畴范畴到弱P-范畴范畴的遗忘函子的左伴随。我们进一步表明这个获得的范畴化与我们对于P的展示的选择是无关的，并且使用多范畴将我们的一些结果扩展到多种排序的理论中。
作者：M. R. Gould
论文ID：1002.0879
分类：Category Theory
分类简称：math.CT
提交时间：2010-02-05