See also List opmonoidal comonad Nathanael Arkor and Matt Earnshaw pointed out that this result appears in page 122 of Categorical Semantics of Linear Logic (Melliès). Paul-André Melliès cites previous work by Burroni.1