Subobject -monomorphism: について、 と定義すると、 はequivalence relationになるので、equivalence class: を のsubobjectといい、 が成立することから、 と書いてしまう。 Subobject category (・・・と呼ぶのか怪しいが) -object のsubobjectをobjectとす…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。