上の絵を見てると言わずにおれん。Elgot反復を双対圏で考える。余デカルト圏の双対圏はデカルト圏だから、余Elgotオペレータはデカルト圏に働く。面倒なので、余Elgotoオペレータも上付きの#で示す。普通は†で示して、Conwayオペレータと呼ぶ。もとのf#の絵…

次の各種loopingオペレータを絵で示す。“圏”はトレース付き対称モノイド圏の範囲で考えるとする。 デカルト圏：Conway不動点オペレータ -- 上付きダガーで示す。 余デカルト圏：Elgot反復オペレータ -- 上付きシャープで示す。 双デカルト圏：Kleene繰り返し…

まず、双デカルト・モノイド圏における行列を説明する。行列の定義は、直積と直和があればできるが、双デカルト・モノイド圏じゃないと面白くないだろう。双積は+, 零対称を0、0からの唯一射をθ、0への唯一射を!、対称ブレイディング（クロス）をσ、対角をΔ…