一句话：将字符串图内化到名义集合范畴，定义名义 PROPs，并证明其与普通 PROPs 范畴等价以迁移完备性。
论文研究如何为带名义结构的字符串图与幺半理论建立代数语义并处理完备性。作者将字符串图解释为名义集合范畴中的内部字符串图，由此定义名义 PROPs 与名义幺半理论。核心结果是证明普通 PROPs 范畴与名义 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.