?? so consider various base categories k ....

k = 1 ...

k = _truth-value_ ....

k = _set_

k = _ab gp_

k = _cocomplete poset_

....

?? and then for each of these consider ... various aspects of "k-based ag" ... so for example k = _set_ allegedly more or less gives toric geometry ...

?? "affine varieties" ... k = _truth-value_ seems to give something pretty degenerate here ... ??? just one affine variety ?? but then when we start glueing these together in some sense, perhaps we also get formal sumd of copies of it ??? .... ?? any way to construe glueing here as giving anything more interesting than that ?? ....

?? on the other hand for the same k consider "k-based ag theories" ... symmetric monoidal cocomplete k-enriched categories ....

?? then also consider something like .... ???? also including completeness, and perhaps "distributivity of limits over colimits" ???? (in some sense .... ???? ab gp case ??? .....) .... ??? and "flat models" ..... ???? .... ??? ... ??? .... ....

?? then consider rough general idea of "correspondences between k-based (?? perhaps especially nice ... ?? ...) ag theories" and to what extent this can be interchangeably construed to mean either "left adjoint" or "bi-quasicoherent sheaf" ..... ???? ..... ??? which is probably what motivated me to look at this whole tableau ..... ??? .....

??? also .... ???? "taking k-valued quasicoherent sheaves as left adjoint to taking spectrum of k-based ag theory" .... ??? ..... trying to understand "glueing" as part of that ... ?? ...

?? "glueing" and "new colimits" here .... ??? is it really true that new discrete sums of [k = _truth-value_]-based affine varieties gives an interesting toy example here ???? ..... ??? ....