アフィン線形圏の不動点理論はけっこう難しい。ので扱わない。線形（正確には半線形かな）圏の不動点理論に限定する。線形圏でもけっこう難しい。そもそも不動点の存在を保証するのが難しい。係数半環になんらかの条件が必要だ。ベキ等な連続半環とか、そん…

図形を射とするローヴェル理論。5つの記法： 象形文字：∇、II、X など シッカリ行列： 升目欄と入出力矢印をシッカリ書いた行列、欄の幅・高さをちゃんとする。 上から左： の絵図 上から下： の絵図 左から右： の絵図 基本的な行列： Δ（∧） ∇（Y、∨） I I…

ベクトル＝配位空間上の値分布＝状態＝状態空間の点 行列＝ベクトルの変換＝作用素＝状態遷移＝時間推進＝力学系の生成子 行列の計算＝（離散）作用素代数に慣れること。

図で、f†は、fに対するコンウェイ（Conway）の不動点演算子。トレースを使って書くと、 f† = Tr(f;Δ) となる。f#はエルゴットの繰り返し演算子。（右にある Tr(∇;f;Δ) は今回関係ない。）f# の表記として、 Tr([ι2A,X, f]) というのがある。ιは標準入射で、[…