m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Cが圏のとき、A, B, C, D∈|C| として、ホムセットの共通部分 C(A, B)∩C(C, D) はいったいどうなってんでしょう？内容： dom/codを使った定義では 集合圏上の豊饒圏としては 米田埋め込みへの影響 たいした問題ではない dom/codを使った定義ではf∈C(A, B)∩C(C, D) とすると： dom(f) = A かつ cod(f) = B dom(f) = C かつ cod(f) = D なので、 dom(f) = A = C cod(f) = B = D となるので、 C(A, B)∩C(C, D) が空でないならば、A = C かつ B = D です。対偶… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180409%2F1523240700" 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 2018-04-09 11:25:00 rich https://m-hiyama.hatenablog.com/entry/20180409/1523240700 1.0 100%