余クライスリ評価関手の余クライスリ結合 - (新) 檜山正幸のキマイラ飼育記 メモ編 の、新しいターゲット命題に至るまでの等式的変形も書いておこう、忘れないうちに。余クライスリ圏の評価関手 1 ： ターゲット項余クライスリ圏の評価関手 2 ： ソース項＝…

けっこう強力な法則。 だとする。

評価双関手の交替律（エレベーター法則）行列形式表記では：評価関手：新しいターゲット（目的の等式）：