話題とか方針とか

• 凸結合を意図的に取り上げてみようかな。
• 凸結合モナドのクライスリ圏の自己射は確率遷移系になるね。
• かなりの数のモナドがスタンピングで説明できる。
• 代数項としても説明できる。
• ツリーモナドは親玉みたいなもんだ。
• 自然数の有限部分集合の順序集合（＝やせた圏）に対して、最小公倍数で閉じさせる操作を入れるとモナド、これも入れよう。
• 余代数っぽい例は今回は止める。
• モナドの代数は少し入れてもいいか。
• クライスリ圏は徹底的にやる。

モナド	名称	乗法	単位	関手の射パート
リスト	List	flatten	single	map
セット	Enum	flatten	single	map
バッグ	Bag	flatten	single	map
レコード	Record	flatten	single	map
ツリー	Tree	expand	single	subst
代入	Assign	aggregate	valueOnly	noAssign
エラー	Error	aggregate	normal	noError
ファイル出力	Output	aggregate	valueOnly	noOutput
moveTo/By	Move	aggregate	valueOnly	noMove
1次式	Affine	expand	asExpr	subst
凸結合	Convex	expand	asExpr	subst
単純有向グラフ	Digraph	ident	embed	induced
最小公倍数閉包	LCMClos	ident	increasing	monotone
切り上げ	Ceiling	ident	increasing	monotone