*-autonomous envelopes and 2-conservativity of duals

04/17/2020
by   Michael Shulman, et al.
0

We show the doctrine of ∗-autonomous categories is "2-conservative" over the doctrine of closed symmetric monoidal categories, i.e. the universal map from a closed symmetric monoidal category to the ∗-autonomous category that it freely generates is fully faithful. This implies that linear logics and graphical calculi for ∗-autonomous categories can also be interpreted canonically in closed symmetric monoidal categories. In particular, our result implies that every closed symmetric monoidal category can be fully embedded in a ∗-autonomous category, preserving both tensor products and internal-homs. But in fact we prove this directly first with a Yoneda-style embedding (an enhanced "Hyland envelope" that can be regarded as a polycategorical form of Day convolution), and deduce 2-conservativity afterwards from double gluing and a technique of Lafont. Since our method uses polycategories, it also applies to other fragments of ∗-autonomous structure, such as linear distributivity. It can also be enhanced to preserve any desired family of nonempty limits and colimits.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

04/17/2020

*-autonomous envelopes

We show that every closed symmetric monoidal category can be fully embed...
04/30/2018

Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories

A categorical model of the multiplicative and exponential fragments of i...
10/04/2018

Classical linear logic, cobordisms and categorical semantics of categorial grammars

We propose a categorial grammar based on classical multiplicative linear...
05/12/2022

On the Lambek embedding and the category of product-preserving presheaves

It is well-known that the category of presheaf functors is complete and ...
01/26/2021

Symmetric Monoidal Categories with Attributes

When designing plans in engineering, it is often necessary to consider a...
10/16/2018

Simple game semantics and Day convolution

Game semantics has provided adequate models for a variety of programming...
06/21/2018

Hypergraph Categories

Hypergraph categories have been rediscovered at least five times, under ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.