论文标题
名义道具的完整性
Completeness of Nominal PROPs
论文作者
论文摘要
我们将名义字符串图作为字符串图引入了名义集类别的内部。这导致我们定义了名义道具和名义单体理论。我们表明，普通道具和名义道具的类别是等效的。然后将这种等效性扩展到对称的单体理论和名义单体理论，这使我们能够在弦图之间传递普通和名义骨化的完整性结果。
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.
