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

証明
f：A → B、g：A → B を Bool における射(>>30)で f ≠ g とすると、
f と g は一般Boole代数(過去スレ021の373)の圏 GBool における射でもあるから
>>395より、GBool における射 h：B → ε で hf ≠ hg となるものがある。
h ≠ 0 であるから h(1) = 1 である。
よって、h は Bool における射(>>30)である。
よって、過去スレ018の220より ε は Bool の余分離対象である。
証明終