?? [doctrine vs 2-topos] vs [tendency to try to see (possibly higher) category of spaces as opposite of 2(??? ....)-category of theories (in form of .... ??? consisting of their syntactic categories and interpretations between them ... before taking opposite .... ??? ....) ... ( me ... ??) vs tendency to try to see it as topos (lawvere ... ?? grothendieck?? ...)]

?? lots of duality confusion here, among possibly other kinds ??? ... ?? level slips as to which sort of duality flips .... ???? .....