参照： 対応 - 檜山正幸のキマイラ飼育記 メモ編 豊饒プロ関手は豊饒な世界を提供するのか - 檜山正幸のキマイラ飼育記 定義域の種別 定義域 豊穣化基礎圏 名称 集合（0-圏）X X×X Set 圏 集合（0-圏）X X×X V V-圏 集合（0-圏）X X×X 総和完備半環K K係数正…

MとNがモノイドとして、XM→NX の形の作用（Mの右作用）を持つ入れ替え加群（モノイド・アダプター）を右入れ替え加群と呼ぶことにする。当然、左入れ替え加群も定義できる。入れ替え加群も右と左がある。まず、通常の（片側）加群と入れ替え加群の関係。M-左…