bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

圏論メモ

檜山さんとこで米田の補題がらみのエントリーが始まった。んでチラッと思ったんだけども、以前のエントリーで書いた、カリー化を自然変換とみなした場合の性質を、米田の補題を使うともう少しキレイにいえたり、楽しいことが言えたりするんではないかと。い…

注：bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。