?? "toric environment" where a model is a pair of models ... ??? or where a model is .... ?? ... "solution to some categorified system of equations for a tuple of models" ... ?? ...

?? "torically algebraically complete" toric environment ... ??? ....

"galois" ideas in toric geometry ... ???

?? actual absolute galois group action ... ???? relationship to stuff like "weil conjectures" and "motive" ... ??? .... toric case ... ??? ...

?? other ideas ... interactions .... kummer's chemistry analogy ... complex multiplication ... abelian langlands .... artin reciprocity ... ??? .... lattice ... braiding ... ???? ....

??? 2-topos .... ??? where semantic 2-cat is "something like" _ag th_, vs where syntactic 2-cat is ... ??? ....