Dは対称モノイド圏、CはDの部分対称モノイド圏で |C| = |D|。C上にトレースTrが存在する。SはDの射の族（必ずしも部分圏でなくともよい）として、Iso(D)⊆S だとする（Iso(D)はDのiso全体）。 k∈S、i∈Iso(D) ならば (i + k)∈S f∈C, k∈S ならば、f;k, k;f∈C 一…

長谷川の一様性原理： f:A+X→B+X, g:A+Y→B+Y, ψ;X→Y, f;(B+ψ) = (A+ψ);g -----------------------------------------------------[HU] Tr(f) = Tr(g) : A→Bプロトキン（Plotkin）の一様性原理： f:A+X→X, g:A+Y→Y, ψ;X→Y, f;ψ = (A+ψ);g -------------------…