???so .... composite (2,1)-functor _comm monoid_ -> _tag theory_ -> _cat_ ... ??something about whether it factors through _geometric theory_ -> _cat_ ??? .... ???or something ???...

??consider for example comm monoid hom 0 -> N ... ??resulting morphism of tag theories doesn't preserve terminal object ??? .... ??or something ??? ....

???but ... ???what about the glueing of toposes that we've been doing ????? ....???is it all screwed up, or what ???? .....

???????????

??what _about_ something about "artin-wraith glueing" here??? ... and so forth ... ???....

weak pullback in (2,1)-cat of categories ...

_N-set_ -> _Z-set_ <- _N-set_

"localize" ... ???

???so _is_ there something here about ... ???mostly these aren't geometric morphisms, but they _are_ in this "localize" case ????? ..... ???or something ???....

???and is it something like this in the non-toric case as well ?????..... .... hmmmmmmm ..... tensoring with a flat module .... as giving equivalence of abelian categories .... ????and so forth ????? ..... ?????? ..... hmmmmmm ..... ?????....

??so what _about_ maybe something about here... ???getting information about nice class of "stacks" (or something) giving "nice" theories .... ???? and so forth .... ???????.....