REVIEW 1 cited by
Tensor product for symmetric monoidal categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Tensor product for symmetric monoidal categories
read the original abstract
We introduce a tensor product for symmetric monoidal categories with the following properties. Let SMC denote the 2-category with objects small symmetric monoidal categories, arrows symmetric monoidal functors and 2-cells monoidal natural transformations. Our tensor product together with a suitable unit is part of a structure on SMC that is a 2-categorical version of the symmetric monoidal closed categories. This structure is surprisingly simple. In particular the arrows involved in the associativity and symmetry laws for the tensor and in the unit cancellation laws are 2-natural and satisfy coherence axioms which are strictly commuting diagrams. We also show that the category quotient of SMC by the congruence generated by its 2-cells admits a symmetric monoidal closed structure.
Forward citations
Cited by 1 Pith paper
-
2-dimensional Lawvere theories, commutativity, and higher Day convolution
A Lawvere 2-theory with a lax (or pseudo/strict) commutativity structure has a model category that is a closed 2-multicategory, implying a Fox-style comonad and a generalized Day convolution.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.