m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 圏または圏類似代数系〈category-like algebraic {system | structure}〉を対象とする圏において、既存の対象（圏または圏類似代数系）にk-射（k = 0, 1, 2, ...）の集合を付け足して拡張できるか？ という問題を考えます。この問題に肯定的に答えられるとき、つまり付け足して拡張がうまくいくとき、当該の“圏または圏類似代数系達の圏”において自由拡張原理が成立するといいます。自由拡張とは、付け足しに対する拡張のなかで最良のものです。上記の説明は非常に漠然としています。ちゃんと定義しようとするとだいぶ手間がかかります。ここでは、自由拡張原理の最も簡単な例… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2025%2F05%2F23%2F154715" 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-05-23 15:47:15 rich https://m-hiyama.hatenablog.com/entry/2025/05/23/154715 1.0 100%