scrap:非対称閉圏のカリー化：記号法を工夫すれば、右と左の混乱も解消

http://www.chimaira.org/img2/left-right-curry-2.gif

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

cripped at 2020/04/07 3:48