??so what _about_ (2,1) (or something...) (??partial ?? or something??...) full-and-faithfulness of certain way of getting stacks over some site ... ??and how this might relate to full-and-faithfulness of way of getting t-modeled topos for certain geometric theory t ?? ... ??and so forth ...

??something about ...??possible weirdness of doctrine interpretation being (2,1)-full-and-faithful on large class of theories ... ??or something ??... ??except something about ...??when codomain (??or something...) doctrine is deliberately tailored to this ... ???.... hmmm... ??what about decategorified (??or something??) analog here, maybe ?? ...

??what about how "localness of hom between local rings" issue plays out in "stack" context ?? ??or something??? ... and so forth ... ???hmmm, or is this just a "small (zariski? ...) topos" issue in the first place?? ... or something ... ??...

??so are we saying that there's hope (??modulo localness of hom issue ...??) for arbitrary module in etale (or something...) ringed topos to correspond to object in original ag theory ?? ...?? or something ??? ....