簡単で面白い例

モナドの例いろいろを考えている。このなかで、

1. 切り上げ
2. 整数有限区間を拡げる
3. 有効単純グラフの推移的閉包
4. 平面内の図形の凸閉包

あたりが面白いかな。背景となる圏はそれぞれ：

1. 実数が対象、順序が射
2. 区間が対象、単調写像が射
3. 有効単純グラフが対象、辺を辺に写す頂点間写像が射
4. 図形が対象、包含順序が射

切り上げは割と面白い。区間の圏も、射を交差がない矢印の束（有向二部グラフ）で示せば、かなり直感的に説明可能かもしれない。