(੭ु´・ω・`)੭ु⁾⁾(੭ु´・ω・`)੭ु⁾⁾
SGLの4章読んでTopos導入をしている感じなのですが、
generalized elementってなんやねん
という話で、ちょっと思ったことを書く。
Definition:
をtopos、をその対象とします。
一般化元(generalized element)とは射のこと。
と言われてもなんのこっちゃ。
集合論でいうところの元が元っぽい感じは外延性が成り立っていることに由来しています。
特に、内包公理(正確には分離公理)を適用して得られる集合は集合の外延性によって一意的に定まり、
このことが、という内包表記を許している所以です。
このことと、一般化元の話が実は対応しています(というのを人から聞いて教わった)。
Definition:
とtopos, をの部分対象、すなわち、をmono射とします。このとき、の一般化元が
"の中にある"(b is "in ")とは、を満たすことと定義する。
ただし、はtoposのsubobject classifierから定義されるの上の特性写像で,
は射のこと。
この時、次の"外延性定理"が成り立ちます:
Theorem(Extensionality):
をtopos、をその対象、とをの部分対象とする。この時、次の二条件は同値である:
ようは、部分対象の外延たる一般化元を全部集めてきてそれが一致していれば、部分対象を抽出してる特性写像も一致するというわけです。
証明は読者の演習問題とする(手元にはあるけど書く体力はない(可換図式書きたくない))。
というわけで、なんとなくトポスのイメージは湧いてきました。
ただ、まだgeometricなイメージが足りないので修行が必要です。切磋琢磨するですん♫