\(\ast\)-autonomous envelopes and conservativity
From MaRDI portal
Publication:6657790
DOI10.4204/EPTCS.353.9MaRDI QIDQ6657790
Publication date: 6 January 2025
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Weakly distributive categories
- Linear logic, coherence and dinaturality
- Natural deduction and coherence for weakly distributive categories
- Glueing and orthogonality for models of linear logic
- Simple free star-autonomous categories and full coherence
- Coherence in closed categories
- A reflection theorem for closed categories
- Categories of continuous functors. I
- Chu. I: Cofree equivalences, dualities and *-autonomous categories
- Some Syntactical Observations on Linear Logic
- Polycategories
- Traced monoidal categories
- Dwyer–Kan homotopy theory for cyclic operads
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- A single quantum cannot be cloned
- Structure of categories
- On closed categories of functors
- Proof theory in the abstract
This page was built for publication: \(\ast\)-autonomous envelopes and conservativity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6657790)
