m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 説明 具体例 忠実関手 F:C→D がある事と、C⊆D とみなせる事は違う。事例を示す。集合圏Setの対象（つまり集合）のなかから、基数が可算無限であるモノを全て選び出して類Ωを作る。Ω⊆|Set| であるので、Ωを対象類とするSetの充満部分圏が一意に決まる。その圏をω-Setとする。定義より、ω-Set(A, B) = Set(A, B)。A∈|ω-Set| のとき、N→A という同型（1：1の写像）が存在するので、そんな写像φをひとつ選んでペア(A, φ)を作る。(A, φ)→(B, ψ) は単にAからBへの写像として定義する。ペア(A, φ)を対象として、ペアのあいだの写像を射とする圏をEnumSe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160923%2F1474616356" title="忠実関手と部分圏：忠実だからって埋め込めないよ - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2016-09-23 16:39:16 rich https://m-hiyama-memo.hatenablog.jp/entry/20160923/1474616356 1.0 100%