发表机构
Oregon State University; University of Maryland, College Park（俄勒冈州立大学; 马里兰大学帕克分校）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文为严格对称幺半范畴的推出给出显式构造，证明辫子强幺半函子强保持中心幂等元，并推论其中心幂等元格与严格化版本同构，服务于计算并发建模。
AI 中文摘要
为利用幺半范畴中的中心幂等元语言对计算并发性进行建模，我们给出了严格对称幺半范畴之间带强幺半函子的推出的显式构造。我们证明任意辫子强幺半函子强保持中心幂等元，并作为推论，对称幺半范畴的中心幂等元格作为交半格与其严格化后的中心幂等元格同构。
英文摘要
Toward modeling computational concurrency using the language of central idempotents in monoidal categories, we give an explicit construction of the pushout of strict symmetric monoidal categories with strong monoidal functors between them. We show that any braided strong monoidal functor strongly preserves central idempotents, and as a corollary, that the lattice of central idempotents of a symmetric monoidal category is isomorphic as a meet-semilattice to that of its strictification.
