ストリング図による複合モナドの計算 (1)四角形の左右の辺が圏を、上下の辺が関手を表す。四角形内部に自然変換 （の名前）を記入する（F⇒Fの恒等自然変換の場合は四角形内は空白とする）。 関手は左から右、自然変換は上から下と方向を決めているので、いち いち矢印は書かなくてもよい。（人により、右から左、下から上の方向も使う ので注意！） 次は、複合的なペースティング図と、それに対応するスタック図の例である。 α:: F;;G ⇒ H : A→C β:: F;;F ⇒ K;;L : A→A 4. ストリング図 平面内で、一筆書きできる“交差しない境界線”で囲まれた領域を‘部屋’ （chamber）と呼ぶ。平面内に描かれた有向グラフDが、部屋Rに対する‘スト リング図’だとは、次を満たすことである。なお、‘開いた辺’とは、始点ま たは終点のどちらか一方のノードを持たない辺であり、ここではグラフに開い た辺を認める。 すべてのノードは部屋の
http://www.city5.org/rhg_200605/
