Nonsymmetric \(^{\ast}\)-autonomous categories
From MaRDI portal
Publication:673964
DOI10.1016/0304-3975(94)00089-2zbMath0874.18004OpenAlexW2010407999WikidataQ59760063 ScholiaQ59760063MaRDI QIDQ673964
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00089-2
\(*\)-autonomous categoriesChu constructionnonsymmetric linear logicnonsymmetric monoidal categories
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (25)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Closed categories, star-autonomy, and monoidal comonads ⋮ Bialgebras in Rel ⋮ A quantum double construction in Rel ⋮ A duality formalism in the spirit of Grothendieck and Verdier ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Orthocomplementation and compound systems ⋮ A micrological study of negation ⋮ Unnamed Item ⋮ Frobenius monads and pseudomonoids ⋮ Hochschild homology, lax codescent, and duplicial structure ⋮ Linear Exponential Comonads without Symmetry ⋮ The Involutive Quantaloid of Completely Distributive Lattices ⋮ Unitless Frobenius quantales ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Non-crossing Tree Realizations of Ordered Degree Sequences ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Character sheaves on unipotent groups in positive characteristic: foundations. ⋮ On cyclic star-autonomous categories ⋮ Descent in \(*\)-autonomous categories ⋮ Unnamed Item ⋮ Coherence for star-autonomous categories ⋮ Ordered groups with a conucleus ⋮ Multiplicative Linear Logics and Fibrations ⋮ \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
Cites Work
This page was built for publication: Nonsymmetric \(^{\ast}\)-autonomous categories
