>

>^fがfの左カリー化、f^がfの右カリー化です。^fは左のワイヤー（A）を曲げているし、f^では右のワイヤー（B）を曲げています。さらに、左指数 A(-)は、左からの掛け算 A×(-) の随伴； 右指数 (-)Bは、右からの掛け算 (-)×Bの随伴； となるので具合がいいですね。デカルト閉圏などの対称モノイド閉圏では、右カリー化と右指数だけを考えればいいわけです。いやー、よかったよかった。