圏M 対象 = {u, v, w, x, y z} ホムセット M(u, v) ≒ Z、他も同じ 結合 掛け算 単位 整数1 圏L 対象 = {u, v, w, x, y z} ホムセット M(u, v) ≒ v = (uの整係数一次式)、他も同じ 結合 代入 単位 v = v など 関手 L→M ；1次の項の係数、 関手 M→Z ；対象を1…

大局的プログラミング（programming in the large）の話題：モジュールの演算5つはもっと簡単になる - 檜山正幸のキマイラ飼育記 メモ編のモジュール演算の件だが：enrichmentってのがイマイチわからん。が、次のようなもんだと思う。 module M = (A+B).((fr…