2020-11-14 ヘミトレース メモ 確率統計 圏一般論 ヘミトレースは、対称モノイド圏に入るコンビネータ HX,A,Y: C(A, XY) → C(XA, Y) バニシング、タイトニング、スライディング、スーパーポージングはトレースと同じ。ヤンキングに対応する公理をクロッシングとする。 f;HX,XX,X(σX,X) = σA,X;HX,A,X(f) ヘミトレースにバイデント射〈二又射〉 βX:I → XX があればトレースが作れるだろう、たぶん。ヘミトレースとバイデントは、カリー化の双対とコンパクト単位に近い。