白旗さんの論文をもとにする。Compact Multiplicative Linear Logicのシーケント計算から、否定（極性）を除くと次のようになる。Σをアルファベット（基礎記号集合）として、式（formula）は次のように定義する。 Σの元 I（IはΣに入らない） (式+式) （括弧…

トゥラエフ移動のトゥラエフ（Turaev）はTQFTの公理化もやっている。→http://www.numdam.org/numdam-bin/recherche?h=nc&id=AFST_1994_6_3_1_135_0&format=completeTuraev, Vladimir G. "Axioms for topological quantum field theories." ベース圏として位…

境界付き有向グラフは、グラフGの次数1の頂点部分集合dGが指定されたもの。つまり、(G, dG)、dG⊆Node(G)、x∈dG⇒ord(x) = 1。もとになるグラフGには、ループ、並行辺、サイクル、サークル（頂点なしのサイクル）なども認める。回路グラフGは、境界付きグラフ…

多圏の定義には、結合であるカットが単一（単純）カット（single/simple cut）と複合カット（multicut）のバージョンがある。multicutができるときは、f:Γ→Δ1,Θ,Δ2 g:Γ1,Θ,Γ2→Δに対して、cutは、f;Θg:Γ1,Γ,Γ2 → Δ1,Δ,Δ2 となる。|Θ|≧1の条件が付くが、これを…