A colored PROP with set of colors ℭ is a strict symmetric monoidal category (P,⊙) whose monoid of objects is freely generated by ℭ. Definition ...
確定! 回上一頁