?? tag morphisms (?? ...) between accidental toposes and toposes of actions of non-discrete comm monoids and / or semigroups ... ??? .... ?? also glueing together latter sort of toposes .... ??? .... ??? ....

?? "commutative semi-monoidal topos" ... ??? ..... ?? ...

?? hmm, idea that discrete mapping to continuous is in a way more interesting than the other way around, and similarly for lower eilenberg-maclane space mapping into higher ... (?? analogy here ??? ...) ... ?? and that here (?? ...) these two trends sort of conflict ... ??? .... ?? maybe leading to non-interestingness ... ?? ...

?? but ... ?? maybe interesting to at least temporarily forget about "continuous" aspect here and focus on other aspect .... ?? [tag topos (??) given by _set_^n with tensor product coming from commutative monoid structure on n ... ?? ...] mapping (?? ...) into accidental topos of toric variety ..... ???? ..... ??? non-toric analog also ??? .... ??? .... ??? ag theory given by _ab gp_-valued functors on small cat .... ??? .... ??? ...