??so what _about_ tag theory of p-algebra for prop p (or something...) as topos ??? ... and so forth ... ??? ???so _is_ it a "globalization/localization fixed-point" ?? ... ... ???....

???hmmm, so what about "accidental abelian category" of an "ag pre-stack" ??? .... and so forth .... ????....

??but... ???homomorphism of comm monoids gives geometric morphism, whereas homomorphism of commutative rings doesn't give exact functor ???? ..... ????or something ??? .... ?????.....

???hmm, or _does_ homomorphism of comm monoids maybe _not_ give geometric morphism in way that i was imagining ??? ... ??stuff to check here ... again issue of parallelism between toric and non-toric cases ... ???... ??lots of confusing variance (and so forth...) questions here ... ???what about something about ... ???"affine cover of affine" stuff here ??? .... and so forth ... ???....

???something about... ??as example of (??sort of reasonably "nice", in some ways???... ???or something???...) "tag theory" that's not a topos, underlying tag theory of an ag theory ??? .... and so forth ... ???...