All Questions
Tagged with braided-tensor-categories monoidal-categories
44
questions
18
votes
2
answers
4k
views
What is a tensor category?
A monoidal category is a well-defined categorical object abstracting products to the categorical setting. The term tensor category is also used, and seems to mean a monoidal category with more ...
- 815
14
votes
1
answer
685
views
Associators, Grothendieck-Teichmüller group and monoidal categories
The standard definition of an associator seems to be that it a a grouplike power series in two variables $x$ and $ y $ satisfying some pentagon and hexagon relations.
In other words, denoting by $ \...
- 908
13
votes
4
answers
5k
views
What is the universal enveloping algebra?
Let ${\mathfrak g}$ be a Lie algebra in a symmetric monoidal category enriched over $K$-vector spaces, i.e., in particular, hom-s are $K$-vector spaces (where $K$ is a field of characteristic zero). ...
- 12.1k
12
votes
2
answers
691
views
Is "being a modular category" a universal or categorical/algebraic property?
A semisimple braided category with duals is called modular when a certain matrix $S$ is invertible. The components $S_{AB}$ are indexed by (isomorphism classes of) simple objects of the category and ...
- 5,485
10
votes
4
answers
1k
views
180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories
Ribbon categories are braided monoidal categories with a twist or balance, $\theta_B:B\to B$, which is a natural transformation from the identity functor to itself. In the string diagram calculus for ...
- 1,852
9
votes
4
answers
2k
views
The tensor product of two monoidal categories
Given two monoidal categories $\mathcal{M}$ and $\mathcal{N}$, can one form their tensor product in a canonical way?
The motivation I am thinking of is two categories that are representation ...
- 815
9
votes
2
answers
593
views
Why is a braided left autonomous category also right autonomous?
In Selinger, P. A survey of graphical languages for monoidal categories (New Structures for Physics, Springer, 2011, 813, 289-233), it is stated that:
Lemma 4.17 ([23, Prop. 7.2]). A braided ...
- 345
9
votes
4
answers
930
views
The dual of a dual in a rigid tensor category
For a rigid tensor category $\cal{C}$, can it happen that, for some $X \in {\cal C}$, we have that $X$ is not isomorphic to $(X^{*})^*$, for $*$ denoting dual? If so, what is a good example.
- 953
9
votes
2
answers
351
views
What is a true invariant of $G$-crossed braided fusion categories?
Definition. An invariant of a (spherical) fusion category with extra structure is a number or a set or tuple of numbers preserved under (appropriate) equivalences.
(Spherical) fusion categories have ...
- 5,485
9
votes
2
answers
360
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
8
votes
2
answers
498
views
Why does a tetracategory with one object, one 1-morphism and one 2-morphism give a symmetric monoidal category
According to the periodic table of k-tuply monoidal n-categories, it should be the case that a tetracategory (= weak 4-category) with one object, one 1-morphism and one 2-morphism is effectively ...
- 2,423
8
votes
1
answer
298
views
Is there a notion of "knot category"?
Consider a rigid braided monoidal category, with braiding $\beta_{x,y} : x \otimes y \cong y \otimes x$, and every object has a dual such that $\epsilon_x : 1 \to a \otimes a^*, \bar\epsilon_x : a^* \...
- 779
8
votes
0
answers
374
views
Which Drinfeld centers are balanced monoidal, i.e. have a twist?
A twist is an automorphism $\theta$ of the identity functor of a monoidal category with braiding $c$, such that $\theta_{X \otimes Y} = c_{Y,X} c_{X,Y} (\theta_X \otimes \theta_Y)$. A braided monoidal ...
- 5,485
7
votes
3
answers
585
views
Does one of the hexagon identities imply the other one?
Suppose we have a monoidal category equipped with additional data that almost makes it a braided monoidal category except that only one of the hexagon identities
is satisfied.
Can we then prove the ...
- 35.6k
7
votes
2
answers
875
views
Enrichments vs Internal homs
Consider the definition of existence internal homs for a general monoidal category category $\cal{C}$, mainly the existence of an adjoint for the functor
$$
X \otimes -: \cal{C} \to \cal{C},
$$
for ...
- 953
6
votes
2
answers
758
views
Module categories over symmetric/braided monoidal categories
Given an algebraically closed field $k$ and a finitely generated commutative $k$-algebra $A$, all simple modules over $A$ are 1-dimensional
What is the analogous statement for symmetric monoidal $k$-...
- 1,358
6
votes
1
answer
179
views
Nonbraided rigid monoidal category where left and right duals coincide
In a braided rigid monoidal category $(\mathcal{M},\otimes)$ left and right duals coincide. What is an example of a rigid monoidal category where left and right duals coincide but there exist no ...
6
votes
1
answer
2k
views
Understanding Penrose diagrammatical notation
I arrived to Penrose's paper Applications of negative dimensional Tensors after reading some bits of Baez's Prehistory (link) and the first two chapters of Turaev's Quantum invariants of knots and 3-...
- 12.7k
6
votes
2
answers
453
views
Does the dual of an object with trivial symmetry also have trivial symmetry?
Let $C$ be a symmetric monoidal category. I am interested in objects $X \in C$ such that the symmetry
$S_{X,X} : X \otimes X \cong X \otimes X$
is equal to the identity. There are many examples of ...
5
votes
2
answers
235
views
Constructing the inverse of a braiding in a braided pivotal category
Assume we have a braided pivotal monoidal category. This means we assume the braiding $c$ to be a natural isomorphism. But looking at the corresponding string diagram, it seems to me as if we could ...
- 105
5
votes
1
answer
439
views
Deligne Tensor Product of Categories, Explicit Equivalence of $A\otimes_\mathbb{C} B\text{-Mod} \cong A\text{-Mod}\boxtimes B\text{-Mod}$
$\newcommand\Mod[1]{#1\text{-Mod}}$Does any one have a reference on a explicit equivalence between
$$\Mod{A\otimes_\mathbb{C} B} \cong \Mod A\boxtimes \Mod B?$$
The proof in "Tensor Categories ...
- 81
5
votes
1
answer
159
views
Extending braidings to tensor powers
Given a braiding $\Psi: X \otimes Y \to Y \otimes X$ for two objects $X,Y$ in a monoidal category, it seems reasonable to assume that $\Psi$ extends uniquely to a braiding $X^k \otimes Y^l \to Y^l \...
- 389
5
votes
1
answer
167
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&...
- 477
5
votes
1
answer
477
views
Explicit description of a free braided monoidal groupoid with inverses
Let G be a braided monoidal groupoid: it does no harm to suppose that the monoidal product on G is strictly associative, so I'll do that.
"With inverses" means that for every object $X$ of G, there ...
- 26.5k
5
votes
1
answer
446
views
Braided monoidal category, example
Let $H$ be a cocommutative hopf algebra.
Let $M$ be the category of $H$-bimodules.
Does the category $M$ form a braided monoidal category with tensor product $\otimes_{H}$ ?
- 69
5
votes
2
answers
507
views
Representation theory in braided monoidal categories
The crux of what I wish to know is what results from representation theory, a subject usually framed within the category $\text{Vect}_\mathbb{k}$, follow in more general braided monoidal categories? I ...
- 191
5
votes
0
answers
116
views
Does a fusion ring with F and R-symbols uniquely determine a braided tensor category?
Background : In mathematical physics, 'anyons' in (2+1) dimensional systems are described by braided tensor categories. The anyon types correspond to the irreducible objects of the category. From such ...
- 51
4
votes
1
answer
640
views
De-equivariantization by Rep(G)
I'm trying to understand Proposition 2.9 of this paper on weakly group theoretical fusion categories.
First of all I have a problem with understanding the settings for de-equivariantization process. ...
- 837
4
votes
1
answer
422
views
When modular tensor categories are equivalent?
I asked this question at math stack exchange math stack exchange but I haven't got any answer yet there.
I would like to know when we say that two modular tensor categories are equivalent.
Is it ...
user46846
4
votes
1
answer
383
views
Does the functor $\mathcal{C} \to \mathcal{Z}(\mathcal{C})$ have adjoints?
Let $\mathcal{C}$ be a braided monoidal category. We have a canonical functor $\mathcal{C} \to \mathcal{Z}(\mathcal{C})$ from $\mathcal{C}$ to the Drinfeld center $\mathcal{Z}(\mathcal{C})$ sending an ...
- 1,527
4
votes
1
answer
230
views
Drinfeld center of $\mathrm{Mod}_R$
Let $R$ be a commutative ring and let $\mathrm{Mod}_R$ be the category of (left) $R$-modules.
Question: Is it true that the categories $\mathcal{Z}(\mathrm{Mod}_R)$ and $\mathrm{Mod}_R$ are ...
- 569
4
votes
1
answer
236
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 ...
- 303
4
votes
1
answer
155
views
Is the center of an abelian rigid monoidal category, abelian?
Is the Drinfeld-Majid center of an abelian rigid monoidal category, abelian?
[stated in 1J of On the center of fusion categories" by Bruguières and Virelizier (link at Virelizier's page)]
In ...
- 91
4
votes
1
answer
427
views
About a categorical definition of graded (coloured) algebra
The definition of graded algebra had a growing interest in algebra and mathematical physics (see $[GTC]$), I see that this topic has an elegant and simple categorical generalization, but I have not ...
- 4,095
4
votes
0
answers
74
views
Categorical construction of comodule category of FRT algebra
Let $\mathcal{B}$ denote the braid groupoid, with objects being non-negative integers $n \in \mathbb{Z}_{\geq 0}$ and morphisms $\mathcal{B}(n,n)=B_{n}$ given by the braid group. Let $\mathcal{C}$ be ...
- 1,527
4
votes
0
answers
101
views
Scaling Yetter--Drinfeld Modules
A braided vector space is a pair $(V,\sigma)$ consisting of a vector space $V$, and a linear map $\sigma:V \otimes V \to V \otimes V$, satisfying the Yang--Baxter equation. Ee can scale the braiding ...
- 815
4
votes
0
answers
367
views
How does the relative Drinfeld center interact with the relative Deligne tensor product?
Let $\mathcal{C}$ be a fusion category, and $\mathcal{M}, \mathcal{N}$ semisimple $(\mathcal{C}, \mathcal{C})$-bimodule categories. The left $\mathcal{C}$-action is denoted as $- \triangleright - \...
- 5,485
3
votes
3
answers
907
views
When does a monoidal functor between ribbon categories preserve cups and caps, but not necessarily braidings?
Imagine a monoidal functor between ribbon categories (i.e. monoidal, with a braiding, a twist and compatible left and right duals). An important example would be the restriction functor from the ...
- 5,485
3
votes
1
answer
535
views
Examples of strict monoidal categories and monoidal categories with nontrivial associators
What are some "natural" motivating examples of the following:
i) A strict monoidal category,
ii) A monoidal with non-trivial associatots?
For i) the only examples I know are categories which ...
- 1,104
3
votes
0
answers
258
views
Braidings and Isomorphism Classes in a Monoidal Category
Let $X$ be an object in a monoidal category $({\cal C}, \otimes)$, and $\gamma:X \otimes X \to X \otimes X$ a braiding (that is to say a morphism in ${\cal C}$ from $X \otimes X$ to itself that ...
- 627
2
votes
1
answer
451
views
When is an Eilenberg-Moore category or Kleisli category braided monoidal? When semisimple?
I have a braided monoidal, semisimple linear category $\mathcal{C}$. (Imagine representations of a semisimple quasitriangular Hopf algebra.) I also have a monad $(T,\mu,\eta)$ on it, however, $T$ is ...
- 5,485
2
votes
1
answer
185
views
Comodule Morita equivalence for Hopf algebras
Let $A$ and $B$ be two Hopf algebras, and denote by $\mathcal{M}^A$ and $\mathcal{M}^B$ their respective categories of right comodules. If we have a monoidal equivalence between $\mathcal{M}^A$ and $\...
- 1,104
1
vote
0
answers
115
views
Recovering the center of a monoid from the Drinfeld center
The Drinfeld center construction is intended to be a categorification of the center of a monoid. It seems to be folklore (eg this answer or this one) that when the Drinfeld center is taken over a ...
- 569
1
vote
0
answers
87
views
Braided category inside braided 2-category
Let $\mathcal{C}$ be a semistrict braided monoidal $2$-category in the sense of [BN] (so in particular a strict $2$-category). Let $\mathcal{C}_1$ be the category of $1$-morphisms (objects) and $2$-...
- 1,527