?? paper "Categorical Semantics of Linear Logic For All" somewhat interesting ... ?? not completely horribly written, so far as i can tell so far ...

?? tends to suggest that although it was good for me to wonder how linear logic might relate to toric quasicoherent sheaves and "combined doctrine" and so forth, the contrasts seem more prominent than the relationships at the moment ...

?? relating cartesian to non-cartesian tensor product in linear logic ... ?? vs relating products to biproducts in (?? ...) toric alg geom ... ???? .... ??? ab gp objects vs cocomm comonoids .... ????? ....... ????? .....

??? "cocommutative comonoid(_)" as right adjoint to ... ?? .... ?? comma 2-cats here ??? .... relating to the 2-adjunction .... ???? ....

?????????? ........