?? toric convolution on category of vector spaces over a field .... ??? as just ordinary tensor product ?? ... ?? lax interchange structure as standard .... ??? .... ???? theory of object invertible wrt both tensor products ???? ...... ?????? ....... ..... ??? confusion ..... ???? .....

??? "2 kinds of toric spectrum .... preserving toric convolution vs not ..." ....... ?????? ....... ???? .... ??? flat / toric analogy again ??? ...... ???? ...... ???? .....

_propositional toric th_ -> _dim toric th_ -> _toric th_

_prop ag th_ -> _dim th_ -> _ag th_


???? .....

?? hmmm ... ??? .... beck-chevalley ??? .... ???? ... ??? failure thereof ?? ... ??? ...

??? toric convolution for at dimensional and/or propositional levels ??????? ...... hmmmm .... ???? .... ????????? ...... ????? comultiplication ????? ...... ????? ..... ????? ...... ??? non-doctrinalness here ?????? ..... ???? .....

?? doctrine of "intended environments" .... ???? .... ???? .... ??? what was that fairly recent bit about .... ???? .... object vs stack ... ???? ...... ???? ..... ???? .....