m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 デカルト圏上のコンウェイ不動点オペレーターは、関数のパラメータ付き不動点の振る舞いを抽象化して圏論的に定式化したものです。2つの成分変数（インデックス）を持つオペレーターで、ひとつの成分変数に関しては自然性を持ち、もうひとつの成分変数に関しては対角自然性を持ちます。圏論的に好都合なオペレーターなのですが、圏論的な扱いは割と複雑です。できるだけ簡単で憶えやすい計算公式の形も一緒に提示します。記事内で使う文字の色については「文字の色の約束（再確認）」を参照してください。[追記 date="翌々日"]$`\star^A`$ と書くべき所を $`\star^{\mathbf{1}}`$ と間違っていま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2026%2F09%2F08%2F203235" 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 2026-09-08 20:32:35 rich https://m-hiyama.hatenablog.com/entry/2026/09/08/203235 1.0 100%