Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033914495> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3033914495 abstract "We show the doctrine of $ast$-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 $ast$-autonomous category that it freely generates is fully faithful. This implies that linear logics and graphical calculi for $ast$-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 $ast$-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 $ast$-autonomous structure, such as linear distributivity. It can also be enhanced to preserve any desired family of nonempty limits and colimits." @default.
- W3033914495 created "2020-06-12" @default.
- W3033914495 creator A5065839536 @default.
- W3033914495 date "2020-04-17" @default.
- W3033914495 modified "2023-09-27" @default.
- W3033914495 title "*-autonomous envelopes and 2-conservativity of duals" @default.
- W3033914495 cites W119508290 @default.
- W3033914495 cites W1500687250 @default.
- W3033914495 cites W1581917866 @default.
- W3033914495 cites W1859542606 @default.
- W3033914495 cites W1968350036 @default.
- W3033914495 cites W1973559574 @default.
- W3033914495 cites W1985063546 @default.
- W3033914495 cites W1988612426 @default.
- W3033914495 cites W2012010160 @default.
- W3033914495 cites W2018773995 @default.
- W3033914495 cites W2041917765 @default.
- W3033914495 cites W2058318878 @default.
- W3033914495 cites W2075367647 @default.
- W3033914495 cites W2081723613 @default.
- W3033914495 cites W2083147990 @default.
- W3033914495 cites W2090319048 @default.
- W3033914495 cites W2102357532 @default.
- W3033914495 cites W2145852050 @default.
- W3033914495 cites W2152113165 @default.
- W3033914495 cites W220929679 @default.
- W3033914495 cites W2288986295 @default.
- W3033914495 cites W2891412546 @default.
- W3033914495 cites W3134111187 @default.
- W3033914495 hasPublicationYear "2020" @default.
- W3033914495 type Work @default.
- W3033914495 sameAs 3033914495 @default.
- W3033914495 citedByCount "0" @default.
- W3033914495 crossrefType "posted-content" @default.
- W3033914495 hasAuthorship W3033914495A5065839536 @default.
- W3033914495 hasConcept C105313907 @default.
- W3033914495 hasConcept C11821877 @default.
- W3033914495 hasConcept C138390121 @default.
- W3033914495 hasConcept C154945302 @default.
- W3033914495 hasConcept C156772000 @default.
- W3033914495 hasConcept C202444582 @default.
- W3033914495 hasConcept C33923547 @default.
- W3033914495 hasConcept C41008148 @default.
- W3033914495 hasConcept C41608201 @default.
- W3033914495 hasConcept C51255310 @default.
- W3033914495 hasConcept C56208153 @default.
- W3033914495 hasConcept C76069219 @default.
- W3033914495 hasConcept C7879355 @default.
- W3033914495 hasConcept C98912367 @default.
- W3033914495 hasConceptScore W3033914495C105313907 @default.
- W3033914495 hasConceptScore W3033914495C11821877 @default.
- W3033914495 hasConceptScore W3033914495C138390121 @default.
- W3033914495 hasConceptScore W3033914495C154945302 @default.
- W3033914495 hasConceptScore W3033914495C156772000 @default.
- W3033914495 hasConceptScore W3033914495C202444582 @default.
- W3033914495 hasConceptScore W3033914495C33923547 @default.
- W3033914495 hasConceptScore W3033914495C41008148 @default.
- W3033914495 hasConceptScore W3033914495C41608201 @default.
- W3033914495 hasConceptScore W3033914495C51255310 @default.
- W3033914495 hasConceptScore W3033914495C56208153 @default.
- W3033914495 hasConceptScore W3033914495C76069219 @default.
- W3033914495 hasConceptScore W3033914495C7879355 @default.
- W3033914495 hasConceptScore W3033914495C98912367 @default.
- W3033914495 hasLocation W30339144951 @default.
- W3033914495 hasOpenAccess W3033914495 @default.
- W3033914495 hasPrimaryLocation W30339144951 @default.
- W3033914495 hasRelatedWork W1508673632 @default.
- W3033914495 hasRelatedWork W1588266362 @default.
- W3033914495 hasRelatedWork W172653924 @default.
- W3033914495 hasRelatedWork W2022837260 @default.
- W3033914495 hasRelatedWork W2046600537 @default.
- W3033914495 hasRelatedWork W2115910140 @default.
- W3033914495 hasRelatedWork W2126973105 @default.
- W3033914495 hasRelatedWork W2135668246 @default.
- W3033914495 hasRelatedWork W2137662585 @default.
- W3033914495 hasRelatedWork W2147773847 @default.
- W3033914495 hasRelatedWork W2194828990 @default.
- W3033914495 hasRelatedWork W2284421871 @default.
- W3033914495 hasRelatedWork W2607566499 @default.
- W3033914495 hasRelatedWork W2805474782 @default.
- W3033914495 hasRelatedWork W2951059131 @default.
- W3033914495 hasRelatedWork W3037790837 @default.
- W3033914495 hasRelatedWork W3082734923 @default.
- W3033914495 hasRelatedWork W3103740891 @default.
- W3033914495 hasRelatedWork W3128158962 @default.
- W3033914495 hasRelatedWork W3146794696 @default.
- W3033914495 isParatext "false" @default.
- W3033914495 isRetracted "false" @default.
- W3033914495 magId "3033914495" @default.
- W3033914495 workType "article" @default.