m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 プロ関手の説明として、「関手 ： プロ関手 ＝ 関数 ： 関係」という“比例式”がしばしば引き合いに出されます。一方で、「圏 ： 関手 ＝ 順序集合 ： 単調関数」という“比例式”もあります。これらの比例式達を合わせると： 圏 ： 関手 ： プロ関手 ＝ 順序集合 ： 単調関数 ： ？？上記の「？？」の部分には何が入るのでしょう？ ここでは、「？？」に入る構造を順序ブリッジと呼んで、例え話を使って直感的な説明をしてみます。$`\newcommand{\In}{\text{ in }} \newcommand{\u}[1]{\underline{#1}} \newcommand{\cat}[1]… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2024%2F02%2F20%2F183224" 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 2024-02-20 18:32:24 rich https://m-hiyama.hatenablog.com/entry/2024/02/20/183224 1.0 100%