??so how does [current attempt to understand "doctrine" as special case of "2-topos" ... ??as categorification of "lex theory as special case of 1-topos" ... and ... "theory as formula and environment as model" ... ???and so forth ... ???...] fit with ["moduli stack" as _of_ theory, with environment varying ... ???....] ???

??in passage from doctrine to 2-topos, arbitrary (?? weak 2-)diagram (aka "formal weak 2-colimit" ... ??...) of theories becomes honorary theory ... ???... ???"mixing colimits at different levels" and/or ... ??? "morleyfication" ... ???.... and ... ????? .......

?????"finiteness" (and ...??...) issues here ???... ...??in particular danger of needing (???...) not only non-finite colimits but also non-finite (weak ... higher ... ??) limits ??? ... ??? ...

???"individual environment can be big ... bigger than any theory ..." ...

??"intended environments" ... ??"restricted yoneda embedding" along inclusion of such ... ???... [restricted yoneda]-like "embedding" (??perhaps actually somewhat destructive ?? ...) of ... ???topos into set-valued functors on model category .... ???? .... .... ??? ...

?? sheaf : "space" :: stack : "champ" .... ???? ..... ???......

???hmmm... ??_theory_ has "moduli stack of models" ... (??decategorified analog: _formula_ has "moduli sheaf of instances" ...???...) ... ???and such moduli stacks, including those of formal weak 2-colimit theories, form a 2-topos ... ???....

???2-geometric morphism between comm-ring classifying 1-topos and AG-theory classifying 2-topos ... ??? .... ????? ..... ???? ........ ??which way, if any ??? .... ????....

??lawvere... objects of a topos as "generalized spaces" .... ???.... ??? ....