m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「二重圏でどんないいことあったの？」より： いいこと三つ目、「二重圏化と米田モナド」の最後のほうに書いたことですが、「関数：関係：包含 ＝ 関手：プロ関手：制限自然変換」という“比例式”がより鮮明になってきました。 どういうことかと言うと、関数と関係の二重圏 $`\mathbf{RelDC}`$ を定義すると、関手とプロ関手の二重圏 $`\mathbf{ProfDC}`$ とのあいだに強いアナロジーがあるよ、ってことです。$`\newcommand{\mrm}[1]{\mathrm{#1}}`$プロ関手には、様々な解釈と定義があります。 双関手〈二項関手〉 圏の直積上の離散ファイブレーション … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2025%2F04%2F12%2F161612" 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 2025-04-12 16:16:12 rich https://m-hiyama.hatenablog.com/entry/2025/04/12/161612 1.0 100%