发表机构
Laboratoire J.-A. Dieudonné, Université Côte d’Azur; Department of Computer Science and Technology, University of Cambridge; Department of Mathematics, The University of Manchester（J.-A. 迪永实验室，蔚蓝海岸大学; 剑桥大学计算机科学与技术系; 曼彻斯特大学数学系）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究将操作代数和双模双范畴嵌入对称 2-环双范畴，引入操作 2-环概念，证明由其张成的对称 2-环全子双范畴有在特定对象下完备化的泛性质。
AI 中文摘要
我们证明了操作代数和双模的双范畴可以嵌入到对称 2-环的双范畴中，对称 2-环是交换环的范畴化。为此，我们引入了操作 2-环的概念，并表明由操作 2-环所张成的对称 2-环的全子双范畴具有在艾伦伯格-摩尔-克莱斯利对象下完备化的泛性质。
英文摘要
We show that the bicategory of operads and bimodules can be embedded into the bicategory of symmetric 2-rigs, a categorification of commutative rings. In order to do this, we introduce the notion of an operadic 2-rig and show that the full sub-bicategory of symmetric 2-rigs spanned by operadic 2-rigs has the universal property of being a completion under Eilenberg-Moore-Kleisli objects.
Comments31 pages. Comments welcome. v2: added references, remarks 4.2.5 and 5.11 on related work, and acknowledgement
