Lawvere流のセオリーの理論がよくわかってないから、変なことを書くかもしれないが、それもよしとしよう。指標ΣのLawvere代数セオリーLawvereAlgTh(Σ)とする。これは対象（の集合）がNと同型な圏で、Σの記号が射として追加されていて、最小な圏ということだ…

ステファネスクさんのflownomials解説の冒頭に曰く、「m個の入力とn個の出力を持つ機能や計算が、m×n個の1入力1出力の機能／計算達fi,jにより完全に決定される」ことが双デカルト・モノイダル圏の計算＝行列計算の本質だ（というような、そんなこと）を述べ…

Elgotのダガー（iterationオペレータ）は、f:A→A+B から f†:A→Bを作るらしい。明白に添字（上下はイイカゲン）を書くと： TrXA,B::(A+X → B+X)⇒(A → B) FpXA::(A+X → X)⇒(A → X) （Conway） RepX::(X → X)⇒(X → X) （Kleene） ItrA,B::(A → A+B)⇒(A → B) （E…