??so what about something about ... ???stuff lawvere says somewhere about "wallman compactification" and so forth ???? ....

??something about ... ???boolean localic topos as spacial only in case of discrete space ... ???or something ??? ??is that what they said??? .... ??anyway, sort of seems to fit with some stuff ... ???something about "nonstandard analysis as special case of forcing" , so to speak .... ???? ... seems like "stone-czech compactification" (or something ... ??...) in this case, but ... ???....

??hmm, wpa says:

For normal spaces, the Wallman compactification is essentially the same as the Stone–Čech compactification.

???.....