Questions tagged [symmetric-monoidal-categories]
The symmetric-monoidal-categories tag has no usage guidance.
93
questions
2
votes
0
answers
62
views
Adjoint to "strict twocategory of strict twofunctors"
Let C be the category of strict twofunctors, featuring the addition of a Grothendieck universe. Strict twocategories are categories enriched over the category of categories.
C has an internal hom ...
1
vote
1
answer
134
views
Morphism of tensor functors in rigid tensor categories
This is a cross-post from MSE.
$\require{AMScd}$
The following proposition (1.13) is given in Tannakian Categories (loosely paraphrased with some change in notation).
Assume that $(F,c),(G,d):\...
2
votes
0
answers
95
views
Trace morphism in Deligne/Milne's "Tannakian categories"
I originally posted this on MSE, but only got a comment linking an article (Bontea and Nikshych's "Pointed braided tensor categories"). So I'll repost the question in full here:
Is there a ...
6
votes
0
answers
97
views
Is the symmetry compatibility condition in Fox's theorem necessary?
Let $(\mathscr V, \otimes, 1, \sigma)$ be a symmetric strict monoidal category whose unit is terminal. Suppose that every object $A$ is equipped with the structure of a cocommutative comonoid $1 \...
1
vote
0
answers
235
views
Invertible objects in tensor categories (with P. Deligne/J.S. Milne's definition)
$\newcommand\id{\mathrm{id}}$I've asked this question on MSE, but the only response I've gotten so far is a comment, which I failed to understand. I'll add another question I have, related to this.
...
1
vote
1
answer
158
views
Are the minimal nondegenerate extensions universal?
We reference [EGNO] for the concept of a braided fusion category. Following the conventions in [JFR], let $\mathcal{C}$ denote a braided fusion category equipped with a braiding $\beta$, and let $\...
1
vote
0
answers
129
views
Is a symmetric monoidal category ("tensor-category" in P. Deligne & J.S. Milne's vocabulary) neccessarily locally small?
Let $(\mathcal{C},\otimes,\mathbf{1},\phi,\psi)$ (I will denote this by just $(\mathcal{C},\otimes)$) be a tensor-category (in P. Deligne & J.S. Milne's vocabulary, see https://www.jmilne.org/math/...
3
votes
2
answers
354
views
$R$-Module objects in cartesian closed categories
I am looking for a reference for the following statement.
Theorem. Let
$C$ be a regular, well-powered, countably complete cartesian closed category,
$R$ be a (commutative) ring object in $C$,
$R\...
5
votes
0
answers
82
views
Tensor product of modules in model vs. infinity categories
Let $C$ be a combinatorial symmetric monoidal model category and let $A$ be a associative algebra object in $C$, that is cofibrant as an object in $C$. In Higher Algebra 4.3.3.17, Lurie proves an ...
1
vote
1
answer
228
views
Symmetric-monoidal-associative smash product up to homotopy
I am thinking about sequential spectra. I am trying to figure out if the smash product here is symmetric monoidal associative up to homotopy. See definition 3.16 in the above.
Recall that a sequential ...
5
votes
1
answer
368
views
A result on symmetric closed monoidal categories
In this discussion from the categories mailing there is mention of the following result by Robin Houston, supposedly proved in 2006:
Theorem. Let $\mathcal{C}$ be a symmetric closed monoidal category,...
3
votes
2
answers
240
views
Is the free algebra functor over an $\infty$-operad symmetric monoidal?
Suppose $F: \mathcal{O}^\otimes \to \mathcal{P}^\otimes$ is a map of $\infty$-operads, and $\mathcal{C}$ is a symmetric monoidal $\infty$-category that admits small colimits, such that the tensor ...
7
votes
1
answer
154
views
The change-of-monoid adjunction between categories of modules induced by a morphism of monoids
Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension ...
3
votes
1
answer
202
views
Is the symmetric monoidal product on the $\infty$-category of $R$-modules unique?
In Higher Algebra 4.2.8.19, Lurie shows that the symmetric monoidal structure on spectra is uniquely defined (on the $\infty$-category level) by the following properties:
The sphere spectrum is the ...
8
votes
1
answer
420
views
Why are enriched (co)ends defined like that?
I'm mainly following references such as Kelly, Loregian and the nLab, and it seems customary there to generalize (co)ends to the enriched context (over a symmetric monoidal category $\mathcal{V}$) by ...