命題
一般Boole代数の圏の圏において
２元体 ε = {0, 1} は余分離対象(過去スレ018の219)である。

証明
>>44より、一般Boole環(>>5)の圏 GBoolRng において
ε が余分離対象であることを証明すればよい。
f：A → B、g：A → B を GBoolRng における射で f ≠ g とすると、
f(a) ≠ g(a) となる a ∈ A がある。
>>85より、GBoolRng における射 h：B → ε で h(f(a) - g(a)) = 1 となるものがある。
よって、h(f(a)) ≠ h(g(a)) であるから hf ≠ hg である。
よって、過去スレ018の220より ε は GBoolRng の余分離対象である。
証明終