m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 圏の対象は集合とは限らないし、集合と思い込むのは危険です。しかし、圏の対象を集合のように扱えると便利な場面はあります。A、Bが圏Cの対象のとき、集合の包含関係に類似した関係 A⊆B を定義できないでしょうか。圏C内に、モノ射 m:A→B があれば、A⊆B のように思えます。しかし、モノ射mは一意的には決まりません。そこで、A, Bに対して一意的にモノ射が確定するような状況を考えます。一意的に決まるモノ射を（それがあれば）jA,B:A→B と書くことにします。そのようなjA,Bを（A,Bを動かして）全部寄せ集めたクラスをJと書きます。Jの性質を書き下しましょう。がその前に、2つの言葉を準備します… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20101102%2F1288670139" 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 2010-11-02 12:55:39 rich https://m-hiyama.hatenablog.com/entry/20101102/1288670139 1.0 100%