モナドの例いろいろを考えている。このなかで、 切り上げ 整数有限区間を拡げる 有効単純グラフの推移的閉包 平面内の図形の凸閉包 あたりが面白いかな。背景となる圏はそれぞれ： 実数が対象、順序が射 区間が対象、単調写像が射 有効単純グラフが対象、辺…