m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「双線形写像集合関手の表現可能性とテンソル積の普遍性」で、ベクトル空間のテンソル積を事例として、表現可能関手と普遍元の話をしました。テンソル積より簡単でお馴染みな例がありますね。デカルト圏における指数対象〈exponential object〉です。これは、ラムダ計算の圏論的な定式化で使うものです。用語と記法は、「双線形写像集合関手の表現可能性とテンソル積の普遍性」で定義したものをそのまま使います。（[追記]「普遍ナントカ」という言葉に関しては、「双線形写像集合関手の表現可能性とテンソル積の普遍性」の冒頭追記を参照してください。[/追記]）$`\newcommand{\cat}[1]{\mat… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2023%2F06%2F21%2F191950" title="表現可能関手と普遍元の例、ラムダ計算から - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2023-06-21 19:19:50 rich https://m-hiyama.hatenablog.com/entry/2023/06/21/191950 1.0 100%