モナド・トランスポンダーという名前を使おうかと思っていたが、 トランスポンダー - 檜山正幸のキマイラ飼育記 メモ編 モナド・トランスポンダー：動機 - 檜山正幸のキマイラ飼育記 メモ編 やめた。加群概念の拡張だから、 プロ加群 プロト加群 ウル加群 ヘ…