?? trying to [express universal property of qs(x) wrt [ag morphism with right adjoint strong monoidal wrt toric convolution]] for toric variety x as [model of tqs(x) as smc cocomplete cat in smc cocomplete cat of toric-convolution stable comonoids in qs(x) .... ???? ..... ???? .... ??? straightforward adjunction ???? .... ???? ... ??? _is_ this something like the way that it works ??? ....

?? lax interchange .... ??? plus extra mere property ??? ... .... ??? ....