Linear exponential comonads without symmetry
From MaRDI portal
Abstract: The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categories, and show some basic results on them.
Recommendations
- A double category theoretic analysis of graded linear exponential comonads
- scientific article; zbMATH DE number 2134910
- An explicit formula for the free exponential modality of linear logic
- An Explicit Formula for the Free Exponential Modality of Linear Logic
- Nonsymmetric \(^{\ast}\)-autonomous categories
Cites work
- A duality formalism in the spirit of Grothendieck and Verdier
- A quantum double construction in Rel.
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
- Braided tensor categories
- Categorical semantics of linear logic
- Categories in Computer Science and Logic
- Classical linear logic of implications
- Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
- Glueing and orthogonality for models of linear logic
- scientific article; zbMATH DE number 2185654 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 2079022 (Why is no real title available?)
- Linear logic
- Non-commutative logic. I: The multiplicative fragment
- Nonsymmetric \(^{\ast}\)-autonomous categories
- On closed categories of functors
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Proceedings of the Conference on Categorical Algebra
- Quantum invariants of knots and 3-manifolds
- Relating categorical semantics for intuitionistic linear logic
- Relations and non-commutative linear logic
- The linear abstract machine
- Tortile tensor categories
- Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings
Cited in
(5)- An Explicit Formula for the Free Exponential Modality of Linear Logic
- An explicit formula for the free exponential modality of linear logic
- On the Lambek calculus with an exchange modality
- scientific article; zbMATH DE number 7692246 (Why is no real title available?)
- Proof theory of skew non-commutative \texttt{MILL}
This page was built for publication: Linear exponential comonads without symmetry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014810)
