lintの本来の意味は糸くずか。両端にノードを持たないグラフ辺をリントと言ってもいいかもしれない。2-圏のストリング図ではリントが登場する。アロー図のループは、ストリング図のリント。ループからループへの2セルは、2本のリントが出たノード。

具体的な強度付きモナドとして、計算関係では何があるか？計算（コンピューティングとソフトウェア）で出てくるモナドは、たいていコレクション系かモノイドスタンピング系。コレクション系： リストモナド + 直積 有限パワーセットモナド + 直積 スタンピン…

T = (T, μ, η) が対称モノイド圏 C = (C, ×, 1) 上のモナドで、σはCの対称だとする。さらに、τ = (τ[A] | A∈|C|) をT上のテンソル強度だとする。(T, τ) = (T, μ, η, τ) は強モナド（むしろ「強度付きモナド」がいいと思う）となる。以上の状況で、モッジのペ…

あーー、やっぱり絵算は面白い。 絵はあとで追加、今はリンク切れ状態。モッジのテンソル強度とベックの分配法則は似てるわけだけど、テンソル強度は系統的に割り当てられた分配法則（スワッパ）なのだ。Cがモノイド圏だとして、対象Aごとにスワッパ σ[A] が…