13 Feb
1994
13 Feb
'94
8:48 p.m.
Alright. The exercise goes as follows: suppose that s:1 -> D names a complemented subobject. Let V be the complemented subterminator obtained by intersecting s and t and let W be its complement. In *A*/W we have that s and t name disjoint subobjects but t names a dense subobject of D hence W = 0. Because V = 1 we have s = t naming an object both dense and complemented hence entire.