??so what about analog of diaconescu's theorem for filteredly cocomplete category in place of plain category ?? ... ... and so forth ... ???something about how this relates to ... ??taking "accidental topos of toric variety" seriously as geometric theory ... and so forth ... ???something about classical model as cone of fan, sort of ... different sort of from "toric small zariski ..." ... ??... ...relationship here ... ??also something about relationship of this (...) to vague ideas about "presheaf / co-presheaf confusion" that i've been mentioning recently ... and so forth ... ??also something about comparison of this approach to "graded action" / "slice topos" approach to understanding the geometric theory here ... ??... and so forth ...