この時、次の二条件は同値である:ようは、部分対象の外延たる一般化元を全部集めてきてそれが一致していれば、部分対象を抽出してる特性写像も一致するというわけです。証明は読者の演習問題とする(手元にはあるけど書く体力はない(可換図式書きたくない))。いうわけで、なんとなくトポスのイメージは湧いてきました。geometricなイメージが足りないので修行が必要です。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。