?? ... stone open ... "b-valued existence predicate, tw b-valued equality predicate as coarse as reasonable relative to the existence predicate" ... ???something about subobject classifier and injective resolution ... ??? ... and so forth ... ???....

??lots of reasonable stuff ...

de-enrichment.... factorization ...

t-enriched topos ...

t-big limits ...

t-elementary equivalence ... verging on automorphism in what limit exactly???

k1,k2-pretopos ... ??when subobject classifier materializes???

canonical model of t over it's boolean alg of nullary predicates, for t "classical first-order" os... asf os ...

???...asf .... ????....


??something about ... ??? "[x=y] <= [x exists]" ... ????or something ... ???

??what about ... property of being canonical "set with b-valued existence and equality predicates" corresponding to given stone sheaf" ... ???including case of subobject of 1 ... ??elegant treatment?? ... something about subobject classifier and injective resolution and so forth ... ??...