Questions tagged [monoidal-categories]
The monoidal-categories tag has no usage guidance.
539
questions
4
votes
2
answers
328
views
Relationship between fusion category and its Drinfel'd center
Is it true that given a fusion category $\mathcal{C}$ and its Drinfel'd center $Z(\mathcal{C})$, there is a fully faithful functor $F:\mathcal{C}\hookrightarrow Z(\mathcal{C})$? I.e. can $\mathcal{C}$ ...
- 297
2
votes
0
answers
95
views
"Closed $\mathscr{V}$-modules are uniquely (co)tensored $\mathscr{V}$-categories": shouldn't we assume they are also "mixed monoidal"?
$\newcommand{\M}{\mathcal{M}}\newcommand{\V}{\mathscr{V}}\newcommand{\hom}{\mathsf{hom}}$Throughout this post, $\V$ refers to some "cosmos", where I borrow the word "cosmos" from ...
- 721
9
votes
0
answers
268
views
Equivalence of Yetter-Drinfeld modules to Drinfeld center: is there a purely categorical proof?
Let $H$ be an Hopf algebra over a field $k$, and let $\mathcal{C}$ be the monoidal category of left $H$-modules.
It is known that the Drinfeld center of $\mathcal{C}$ is equivalent (as a braided ...
- 3,024
10
votes
1
answer
488
views
Proof that the unit of a Cartesian monoidal category is terminal
In short, given a monoidal category whose product is the categorical product, show that the unit object is terminal.
This looks very similar to questions that have been answered, but is subtly ...
- 313
9
votes
2
answers
521
views
Is there a generalization of braided monoidal category without the isomorphism requirement?
Is there a generalization of the notion of braided monoidal category that does not force the braiding $\gamma$ to be an isomorphism? I mean, it is of course possible to define such a kind of category, ...
- 951
2
votes
0
answers
116
views
Checking the triangle axiom of monoidal categories for the category $\operatorname{Vec}(\mathscr{C})$
Let $\mathscr{C}$ be a (for simplicity, strict) rigid $C^*$-tensor category. Consider the monoidal category $\operatorname{Vec}(\mathscr{C})$ as defined in section 2.4 of the article Operator algebras ...
- 249
3
votes
1
answer
171
views
Adding finite direct sums to a C*-tensor category
Consider the following fragment from the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset (p72, in section 2.5):
$\ \ \ $ Assume $\mathscr{C}$ is a ...
- 249
4
votes
2
answers
267
views
Algebra objects of $\operatorname{Vec}(\mathscr{C})$ are lax functors $\mathscr{C}^\text{op}\to \operatorname{Vec}$
Let $\mathscr{C}$ be a rigid $C^*$-tensor category. Let $\operatorname{Vec}(\mathscr{C})$ be the category with linear functors $\mathscr{C}^{\text{op}}\to \operatorname{Vec}$ (= category of complex ...
- 249
2
votes
0
answers
69
views
What is meant by saying that monoidal category of $U_h (sl_2 (\mathbb C))$ is different from that of $U(sl_2 (\mathbb C))[[h]]\ $?
I am following the notes on Quantum Groups given by our instructor. There I found that Drinfeld-Jimbo quantum group $U_h (sl_2 (\mathbb C))$ corresponding to the Lie algebra $sl_2 (\mathbb C)$ and the ...
- 189
2
votes
1
answer
130
views
Coproduct for a Frobenius algebra
The definition of a Frobenius algebra given here describes it as a monoid and a comonoid in a monoidal category with a compatability condition. For the special case of the category of vector spaces a ...
5
votes
1
answer
188
views
Why is the category of strong braided functors from the braid category to a braided monoidal $M$ equivalent to the subcategory of *strict* functors?
This is my first, and probably my last, (for a while) posting on MO. I am very much a student and I don't claim to be a research mathematician, at all, but I have seen that sometimes "regular&...
- 721
4
votes
2
answers
567
views
A subalgebra of a Frobenius algebra that is not again a Frobenius algebra?
A Frobenius algebra is a vector space that is both an algebra and a coalgebra in a compatible way. (See here for a precise definition.) I guess that a subalgebra of a Frobenius algebra is not again a ...
3
votes
0
answers
102
views
Are the fusion categories weakly Frobenius?
A well-known open problem (generalizing Kaplansky 6th conjecture) asks whether every (spherical) fusion category $\mathcal{C}$ (over $\mathbb{C}$) is of Frobenius type, i.e. for every simple object $X$...
- 25.9k
10
votes
0
answers
117
views
V-categories enriched in a monoidal V-category
In an email to the categories mailing list dated 21 August 2003, Street writes:
Max reminded me of his old result (not in the LaJolla Proceedings,
but known soon after) that a monoidal V-category is ...
- 8,755
4
votes
1
answer
199
views
$\ast$-autonomous categories with non-invertible dualizing object?
1. Definition
Firstly, recall the following nLab-definition of a $\ast$-autonomous category:
A $\ast$-autonomous category is a symmetric closed monoidal category $(C,\otimes,I,\multimap)$ with a ...
- 766
5
votes
0
answers
77
views
References for completions of finite group tensor categories
Let $G$ be a finite group and $\operatorname{Vec}_G$ be the tensor category of $G$-graded vector spaces (or, if you prefer, $\pi_{\le 2}(BG)$).
The completion $\overline{\operatorname{Vec}_G}$ of $\...
- 12.4k
3
votes
0
answers
133
views
Transporting $\mathbb E_n$-monoidal structures between categories
Suppose given an $\mathbb E_n$-monoidal presentable $\infty$-category $\mathcal C$ (wrt. the Lurie tensor product $\otimes$), and $\mathcal D$ a presentable $\infty$-category. Suppose given a pair of ...
- 405
8
votes
0
answers
101
views
Are the morphisms of a star-autonomous category superfluous?
Let $(C,\otimes,I,\ast)$ be a (symmetric, say) star-autonomous category. Then $C$ comes equipped with a lax symmetric monoidal functor $|-|_C := Hom_C(I,-) : C \to Set$. The general hom-sets of $C$ ...
- 61.6k
4
votes
0
answers
119
views
Full coherence for non-symmetric linearly distributive categories?
1. Context
Mac Lane's coherence theorem for monoidal categories can be phrased as "every formal diagram in a monoidal category commutes.“ I am interested in this type of coherence question for ...
- 766
4
votes
0
answers
322
views
Is this linearly distributive category really free?
In Natural deduction and coherence for weakly distributive categories Blute et al. claim to give a presentation of the free (non-symmetric) linearly distributive category $\operatorname{PNet_E}(C)$ on ...
- 766
2
votes
0
answers
103
views
Empires and the net criterion
Currently, I am struggling to understand the proof of Proposition 2.5 on page 250 (page 22 in the document) of the paper Natural deduction and coherence for weakly distributive categories by Blute, ...
- 766
2
votes
0
answers
59
views
Index-coclosure for monoidal categories, generalizing products and lextensive coproducts
I found a kind of monoidal structure that generalizes cartesian product and lextensive coproduct, and I'm wondering if anyone has seen it before and/or can tell me about it. I'm calling this structure ...
- 8,559
9
votes
0
answers
147
views
How does one classify monoidal biclosed structures on $Cat$?
Foltz, Kelly, and Lair assert that there are exactly two monoidal biclosed structures on the 1-category $Cat$ of small categories. But most of the proof is left as an "exercise" (see Prop 4)....
- 61.6k
1
vote
0
answers
80
views
Separable monads do not induce separable monoids
Let us first recall the categorical notion of monad: if we have a category $\mathcal{C}$ then a monad on it consists in an endofunctor $\mathbb{A}\colon \mathcal{C}\rightarrow \mathcal{C}$ together ...
- 757
2
votes
0
answers
109
views
Right unitor in star-autonomous categories
1.Context
Let $(C, \otimes, I, a, l,r)$ be a monoidal category. Here $r$ denotes the right unitor.
Suppose $S: C^{op} \xrightarrow{\sim} C$ is an equivalence of categories with inverse $S’$. Assume ...
- 766
8
votes
1
answer
259
views
Cartesian monoidal star-autonomous categories
Disclaimer: This is a crosspost (see MathStackexchange). Apologies if cross-posting is frowned upon. However, it seems that on Stackexchange there are not many people familiar with star-autonomous ...
- 766
1
vote
1
answer
237
views
Star-autonomous categories are categorifications of Boolean algebras?
I asked this question fourteen days ago on MathStackexchange (see here). I have not received any answers or comments until now. It seems to me that on MathStackexchange not many people are familiar ...
- 766
3
votes
0
answers
162
views
Has anyone heard of a Lax Monoidal Functor where one of the arrows is flipped?
I've encountered the following scenario
I have a category $\mathcal C$ and for every object
$c\in\mathcal C$, I have found a monoidal category
$(\mathcal D, \otimes_c, 1_c,\cdots)$ such that I'm able ...
- 31
2
votes
1
answer
192
views
Strictification of $\mathcal{V}$-pseudofunctors
Let $\mathcal{B}$ be a bicategory. Section 4.10 of Gordon, Power and Street's paper "Coherence for Tricategories" states that there is a bicategory $\textbf{st}\mathcal{B}$ and a ...
- 23
2
votes
1
answer
105
views
Isomorphism between Davydov-Yetter complex and Hochschild complex of canonical algebra on a multitensor category
I'm trying to follow the proof of proposition 7.22.7 from
Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Victor, Tensor categories, Mathematical Surveys and Monographs 205. Providence, RI: ...
- 1,437
8
votes
0
answers
156
views
Constructing new categories by adding structure
On the one hand, let $\mathcal{C}$ be the monoidal category of finite-dimensional complex vector spaces and linear transformations, and on the other, let $\mathcal{D}$ be the monoidal category of ...
- 2,185
5
votes
1
answer
199
views
On the correspondence between proof nets and sequents
1. Context
While trying to answer my question on the existence of a (useful) graphical calculus for star-autonomous categories, I came across the paper Natural deduction and coherence for weakly ...
- 766
4
votes
0
answers
147
views
Transporting monoidal structure along adjunction
Let $L: \mathcal C \leftrightarrows \mathcal D : R$ be an adjoint pair and $\mathcal C = (\mathcal C,\otimes)$ be a monoidal category. I wonder under what conditions on the pair $L\dashv R$ we can ...
- 61
5
votes
0
answers
93
views
Left adjoints for functors out of a Deligne-Kelly tensor product
Let $k$ be a field, and let $\mathcal{C}$ be a locally finitely presentable $k$-linear categories. The Deligne-Kelly tensor product $\mathcal{C}\boxtimes\mathcal{C}$ is the 2-universal locally ...
9
votes
2
answers
398
views
Coherence theorem in braided monoidal categories
In MacLane's Categories for the working mathematician, the author shows that the evaluation at 1 gives an equivalence of categories $\mathrm{hom}_{\mathrm{BMC}}(B,M)\simeq M_0$ where $B$ is the braid ...
- 201
0
votes
0
answers
228
views
The coevaluation map for a projective module and its dual
$\DeclareMathOperator\coev{coev}$Let $R$ be a noncommutative ring and let $P$ be a bimodule over $R$, that is finitely generated and projective as a left module. It is "well-known" that any ...
- 145
0
votes
0
answers
104
views
Tensor categories with isomorphic Grothendieck semirings
Let $\mathcal{A}$ and $\mathcal{B}$ be two tensor categories whose Grothendieck semirings are isomorphic. Does it follow that the categories $\mathcal{A}$ and $\mathcal{B}$ are isomorphic (i) as ...
- 145
12
votes
1
answer
683
views
Does every monoidal category admit a braiding?
The question is in the title.
To make the statement more precise, is is true that for any given monoidal category $(\mathcal C, I, \otimes)$ there exists at least one braiding $\beta$? In other words, ...
- 1,043
5
votes
1
answer
141
views
Exactness of functors in a $C^*$-tensor category
I'm reading the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset. In section 2.3 "Fiber functors and reconstruction theorems*, the following ...
- 249
13
votes
2
answers
954
views
How many tensor products of chain complexes are there?
Let $Ch$ be the category of nonnegatively-(homologically-)graded chain complexes of abelian groups. Suppose that $(Ch,\boxtimes)$ is a monoidal biclosed structure.
Assume that the forgetful functor $(...
- 61.6k
5
votes
1
answer
192
views
Enriched categories over a semi-monoidal category
Let $\mathcal{V}$ be a semi-monoidal category, meaning it satisfies the axioms of a monoidal category except missing a unit and the unit axiom. One could then still go about defining a $\mathcal{V}$-...
- 53
2
votes
0
answers
77
views
Pseudomonoids versus monoidal pseudofunctors from $\Delta$
I have been trying to find some literature (if there is any) on the relationship between pseudomonoids and monoidal pseudofunctors from the monoidal theory of a monoid, $\Delta$ (I am interested in ...
- 1,253
7
votes
0
answers
311
views
Cartesian product is to monoidal product as pullback is to what?
I'm trying to complete the following pattern
product : monoidal product : coproduct
pullback : ? : pushout
That is, if the monoidal product is a ...
- 302
2
votes
0
answers
257
views
The Kleisli category of a monoidal monad
Let $C$ be a symmetric monoidal category equipped with diagonals $\triangle_x: x \to x \otimes x$, that is, equipped with natural transformations $e_x: x \to 1$ and $\triangle_x : x \to x \otimes x $ ...
- 123
4
votes
1
answer
266
views
Non-semisimple categorification problem of fusion rings
We refer to [1] for the notions used in this post.
The Grothendieck ring of a fusion category (over $\mathbb{C}$) is a fusion ring, but there are fusion rings which are not of this form (...
- 25.9k
4
votes
2
answers
220
views
"Partially strict" monoidal categories
Recall that a monoidal category $\newcommand{\C}{\mathcal{C}} (\C,\otimes,I)$ comes equipped with an associator $\alpha_{XYZ} \colon X \otimes (Y \otimes Z) \xrightarrow{\sim} (X \otimes Y) \otimes Z$ ...
- 5,142
12
votes
2
answers
386
views
Reference for free symmetric monoidal categories with duals on symmetric monoidal categories
The inclusion $U$ of the (2,1)-category of symmetric monoidal categories with duals into the (2,1)-category of symmetric monoidal categories admits a left 2-adjoint functor $L$ for formal reasons.
In ...
- 36.3k
7
votes
1
answer
366
views
This is not a tensor: tensoring abelian groups over groups
$\newcommand{\Cats}{\mathsf{Cats}}\newcommand{\MonCats}{\mathsf{MonCats}}\newcommand{\BrMonCats}{\mathsf{BrMonCats}}\newcommand{\SymMonCats}{\mathsf{SymMonCats}}\newcommand{\CMon}{\mathsf{CMon}}\...
- 10.7k
4
votes
1
answer
242
views
Why is 'every braided monoidal category spacial'? [duplicate]
In his 2009 survey, Selinger ("A survey of graphical languages for monoidal categories") defines the notion of a 'spacial monoidal category', which (in his graphical calculus) allows one to ...
- 313
2
votes
0
answers
70
views
2-morphism between circuits in a monoidal category
We are used to seeing equations between circuits in monoidal categories like this
I am wondering about morphisms between string diagrams. I think they are 2-cells. I found an example of a 2-cell ...
- 371