タングル（訳語は「もつれ」か？）の定義がハッキリとは確定できないが、たぶん、次のように定義しておけば十分に一般的だと思う。I=[0, 1]（区間）、C=S1（円周）として、IとCのいくつかの直和をXとする。連続写像 X→R3のなかで、次の条件を満たすものをタ…

多圏とその応用： ΣΠ-Polycategories, Additive Linear Logic, and Process Semantics モノイド圏Cがあれば、簡単な構成法で多圏Poly(C)ができる。CはPoly(C)に埋め込めるし、Poly(C)からCへの“射影”もあって、EPペアーになっている。Cが対称モノイド圏なら…

f:A1+X+A2→B1+X+B2に対して、TrXA1,A2;B1,B2(f)を、TrXA1+A2,B1+B2(σA2,X;f;σX,B2)とすると、クロスが減るので表記が単純になることがある。f;A→B+X, g:X+C→Dのとき、f;Xg:A+C→B+Dを、(f + C);(B + g)と定義すると、これも表記が単純化することがある。シー…