??so what _about_ getting locale from presheaf, by ... ????....

??together with concept of "basic open" ??? ...

???something about getting _site_ from ... ???presheaf over site category, or something ?? ... ??or maybe even sheaf over site category, or something??? ...

??but the key idea ... no idea yet as to to what extent it makes sense ... ??something about ... "universal way of expressing as colimit of representables" ... ???or something ??? ... and so forth ... ??something about "pro- ..." ... ??...or something ...