そういう事情で、今度は定義を書き写す。もう、二度手間じゃねーか、バカヤロ＞自分 参考：等式的双デカルト圏のための等式群 - 檜山正幸のキマイラ飼育記 メモ編 参考：トレース付きモノイド圏の対角、一様性など - 檜山正幸のキマイラ飼育記 メモ編 まずは…