ヘミトレースは、対称モノイド圏に入るコンビネータ HX,A,Y: C(A, XY) → C(XA, Y) バニシング、タイトニング、スライディング、スーパーポージングはトレースと同じ。ヤンキングに対応する公理をクロッシングとする。 f;HX,XX,X(σX,X) = σA,X;HX,A,X(f) ヘミ…