Accessible categories and models of linear logic (Q2639952)

In ``Constructing *-autonomous categories'' [Appendix to \textit{M. Barr}'s book: *-autonomous categories, Lect. Notes Math. 752, 103-138 (1979; Zbl 0415.18008)], \textit{P.-H. Chu} provided a ``doubling'' construction which produces a *-autonomous category \({\mathcal V}_{\perp}\) from a symmetric monoidal closed category \({\mathcal V}\), together with a choice of ``dualizing object'' \(\perp\). This construction has recently become of interest in the search for models of Girard's linear logic, since *- autonomous categories are close to providing such models: what they lack, in general, is cofree coalgebras (required to model the ``of course'' modality). The author proves that if the base category \({\mathcal V}\) is locally presentable and the object \(\perp\) is suitably chosen, then \({\mathcal V}_{\perp}\) automatically has cofree coalgebras and is thus a model of full linear logic.