?? linear logic .... ???? .... ?? in light of new ideas about how toric quasicoherent hseaves relate to convolution tensor product of ordinary quasicoherent sheaves ... ?? revisiting vague idea of relationship of TAG and/or combined doctrine to linear logic .... ???? .....

standard ag approach to toric varieties ... "toric line bundle" .... ??? do they use convolution-comonoidalness here ??

?? this concept of "generalized toric quasicoherent sheaf" ... ??? what sort of category these form ?? ... cartesian closed ... plus other tensor product ....

?? parallel :

tensor and cartesian in accidental topos ...

tensor and cartesian in extension of accidental topos ... ???? coalgebras in accidental topos ??? .... ???? ....

ordinary ("pointwise" ...) tensor and convolution tensor of quasicoherent sheaves on (?? affine ??) toric variety ... ??? ....

???? ....

??? do coalgebras form a quasitopos ???? ..... ?? seems unlikely, but ... ??? ... ?? what was that weird fact about coalgebras and directed colimits (?? ...) that todd mentioned ... ?? heard in turn from ezra getzler ?? ....

coalgebra for monad vs for monoid here .... ???? ....

?? right adjoint property of "cocomm monoids in smc" ....

?? how much did we ever think about whether "monoids in mc" has left adjoint ??? ..... ???? ....