http://moonstone.math.ncku.edu.tw/AlgebraConference/golantalk.pdf

ダブル・ダガー公式（不動点の対角性）は： (f†)† = ((A+Δ);f)† ダガー（不動点オペレータ）がトレースで定義されている状況で、これを示す。まずは次の簡単な補題： TrX+X(f;Δ;(Δ+X)) = TrX(TrX(f;Δ);Δ) TrX+X(f;Δ;(Δ+X)) //↓バニッシング = TrX(TrX(f;Δ;(Δ…

Kozen圏で、f:A+X→B+X のトレースは次のように表現できる。（ιは入射、πは射影、ブラケットは特に意味はなく単なる括弧） ι1A,B,X;[(π1A,B+X);f;(ι2A,B+X)]*;π2A,B,X なんか複雑だが、この形は絵算の“次元解析”で容易に得られる。 fの正方化R(f)を次のように…