モジュール演算

大局的プログラミング（programming in the large）：

手でモジュールの計算をするときの演算記号を決めておこう。キーボードでも書けるようにアスキーベース。

演算記号	意味
+	モノイド積、モジュールの集約／マージ
|>	圏の結合、普通の結合
:>	閉じた吸収結合
*>	開いた吸収結合
<:>	対称な閉じた吸収結合
<*>	対称な開いた吸収結合

吸収結合（absorbing composition; 檜山造語）は絵を描かないとうまく説明できない。ので、いずれまた。