Coherence via focusing for symmetric skew monoidal categories
From MaRDI portal
Publication:2148789
Recommendations
- Coherence for skew-monoidal categories
- Coalgebras in symmetric monoidal categories of spectra
- scientific article; zbMATH DE number 1142924
- Coherent presentations of monoidal categories
- Symmetric monoidal categories and \Gamma-categories
- scientific article; zbMATH DE number 529900
- scientific article; zbMATH DE number 1080180
- scientific article; zbMATH DE number 970065
- Symmetric monoidal g-categories and their strictification
- scientific article; zbMATH DE number 3843975
Cites work
- A practical type theory for symmetric monoidal categories
- A sequent calculus for a semi-associative law
- Algebra of proofs
- An alternative description of braided monoidal categories
- Braided skew monoidal categories
- Braided tensor categories
- Coherence for skew-monoidal categories
- Computer Science Logic
- Deductive systems and categories
- Efficient solutions to the braid isotopy problem.
- Free skew monoidal categories
- Full intuitionistic linear logic
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- scientific article; zbMATH DE number 2208067 (Why is no real title available?)
- Logic Programming with Focusing Proofs in Linear Logic
- Monads need not be endofunctors
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- Proof Theory of Partially Normal Skew Monoidal Categories
- Proof-theoretical coherence
- Ribbon tensorial logic
- Skew monoidal categories and skew multicategories
- Skew monoidales, skew warpings and quantum categories
- Skew structures in 2-category theory and homotopy theory
- Skew-monoidal categories and bialgebroids.
- Syntactic aspects of hypergraph polytopes
- THE BRAID GROUP AND OTHER GROUPS
- The Catalan simplicial set
- The sequent calculus of skew monoidal categories
- Triangulations, orientals, and skew monoidal categories
- Types for Proofs and Programs
Cited in
(9)- A practical type theory for symmetric monoidal categories
- LNL polycategories and doctrines of linear logic
- Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
- Proof theory of skew non-commutative \texttt{MILL}
- Coherence by normalization for linear multicategorical structures
- Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
- Semi-substructural logics à la Lambek
- Semi-substructural logics with additives
- Semi-substructural logics à la Lambek with symmetry
This page was built for publication: Coherence via focusing for symmetric skew monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148789)
