ヘミトレース

ヘミトレースは、対称モノイド圏に入るコンビネータ

• H_X,A,Y: C(A, XY) → C(XA, Y)

バニシング、タイトニング、スライディング、スーパーポージングはトレースと同じ。ヤンキングに対応する公理をクロッシングとする。

• f;H_X,XX,X(σ_X,X) = σ_A,X;H_X,A,X(f)

ヘミトレースにバイデント射〈二又射〉 β_X:I → XX があればトレースが作れるだろう、たぶん。

ヘミトレースとバイデントは、カリー化の双対とコンパクト単位に近い。