Skew monoidal categories and skew multicategories
arXiv:1708.06088 · doi:10.1016/j.jalgebra.2018.02.039
Abstract
We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature.
v2: updated reference
References in corpus (5)
Cited by in corpus (12)
- The formal theory of relative monads
- Proof Theory of Partially Normal Skew Monoidal Categories
- Proof Theory of Skew Non-Commutative MILL
- Braided skew monoidal categories
- Semi-Substructural Logics à la Lambek
- LNL polycategories and doctrines of linear logic
- How strict is strictification?
- Semi-Substructural Logics with Additives
- Deductive Systems and Coherence for Skew Prounital Closed Categories
- A sequent calculus for a semi-associative law
- What is a monoid?
- Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice