bonotake https://blog.hatena.ne.jp/bonotake/ bonotakeの日記 https://bonotake.hatenablog.com/ 圏論 メモ 檜山さんとこで米田の補題がらみのエントリーが始まった。んでチラッと思ったんだけども、以前のエントリーで書いた、カリー化を自然変換とみなした場合の性質を、米田の補題を使うともう少しキレイにいえたり、楽しいことが言えたりするんではないかと。いや、そもそもカルテシアン閉圏だと、直積を与える関手 と、冪を与える関手は随伴になるので、はそのまま言えるんだけれども。なので、ここでいえる性質は、随伴関手一般に言える性質になるのかもしれないけれど。 米田の補題を考えるいい題材になったりしないだろうか。面倒なのは、ここでのHom関手は双関手としてのそれなので、うまく当てはめられるのかどうかがイマイチみえないとこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbonotake.hatenablog.com%2Fentry%2F20070109%2F1168349035" title="米田の補題とカリー化 - bonotakeの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-01-09 22:23:55 rich https://bonotake.hatenablog.com/entry/20070109/1168349035 1.0 100%