The braided-monoidal-categori tag has no wiki summary.

**3**

votes

**2**answers

114 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 ...

**3**

votes

**3**answers

275 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 ...

**12**

votes

**1**answer

215 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 $ ...

**6**

votes

**2**answers

239 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 ...

**2**

votes

**1**answer

70 views

### Is every premodular category the *full* subcategory of a modular category?

In Müger's article "Conformal Field Theory and Doplicher-Roberts Reconstruction", he defines the "modular closure" of a braided monoidal category. So every braided monoidal category (and therefore ...

**6**

votes

**1**answer

248 views

### When is this braiding not a symmetry?

Given a topological space $X$ instead of forming the fundamental groupoid $\pi(X)$ which is the category whose objects are the points and morphisms the homotopy classes of paths one can also form the ...

**3**

votes

**0**answers

251 views

### About symmetry, braids, and pseudo-functors.

Let $(\mathcal{C}, \otimes, I)$ a monoidal category, and let $\mathbb{B}(\mathcal{C})$ the bicategory (with only one object and $(\mathcal{C}, \otimes, I)$ as (monoidal) category of morphisms and ...

**2**

votes

**0**answers

193 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 ...

**5**

votes

**1**answer

140 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 ...

**5**

votes

**1**answer

274 views

### Name for an Isomorphism in a Monoidal Category that Satisfies the Braid Relation

Let $({\cal C},\otimes)$ be a monoidal category, $X$ an object in ${\cal C}$, and $\Psi:X \otimes X \to X \otimes X$ an isomorphism such that $\Psi$ satisfies the braid relation:
$$
(\Psi \otimes ...

**4**

votes

**1**answer

547 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 ...

**15**

votes

**0**answers

515 views

### Splitting of homomorphism from cactus group to permutation group

We all learned in kindergarten that the category of finite-dimensional (type I, say) $U_q(\mathfrak{g})$-modules is braided monoidal for $\mathfrak{g}$ a complex semisimple Lie algebra. This gives an ...

**5**

votes

**3**answers

348 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 ...

**6**

votes

**3**answers

646 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 ...

**3**

votes

**1**answer

265 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. ...

**3**

votes

**1**answer

225 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 ...