?? passage from toric variety to accidental topos as .... ??? getting along with "cartesian product" _how_ ??? .... ??? ?? somewhat confusingly ?? ... ??? maybe important to straighten out to some extent for purposes of ... semi-monoidal structure on accidental topoa .... ??? ....

?? hmm, maybe sort of ... but the thing that we're imagining trying to explain here seems so tied up with the thing that we were imagining trying to explain it with that ... ?? well, it's more like there both the same thing to be explained .... ??? ...

?? sort-of paradoxical sort-of contravriant functor sort-of preserving cartesian products .... ??? ....