基本射〈組み込み射〉： 恒等射 id[Γ] 概恒等射 (A,B)→(AB) for 導入・除去 対称射〈2次置換射〉 sym[A, B] for 換 評価射 ev[A] 余評価射 coev[A] ゲルファント変換、反ゲルファント変換 gel[A], opgel[A] 単位射 lunit[Γ], rnuit[Γ], oplunit[Γ], oprunit[…