The monoidal-categories tag has no usage guidance.

**10**

votes

**1**answer

770 views

### Alternative definition of monoidal categories

My question is about monoidal categories. To motivate it, let me first recall something about group objects.
Assume you define a group object in a category $C$ with products by an object $G$ together ...

**5**

votes

**2**answers

334 views

### Is the box product of morphisms associative?

Suppose $(C,\otimes)$ is a symmetric monoidal finitely-cocomplete category such that $\otimes$ preserves colimits. Given two morphisms $a:A_1\to A_2$ and $b:B_1\to B_2$, define $a\Box b$ to be the ...

**3**

votes

**0**answers

194 views

### Symmetric monoidal structure on cosimplicial spaces

Is there a monoidal structure on the category $Spc^{\Delta}$ of cosimplicial spaces such that in the adjunction
$$
\Delta^{\bullet}\otimes-\colon Spc\leftrightarrows Spc^{\Delta}\colon Tot(-)
$$
the ...

**2**

votes

**2**answers

344 views

### The condition End(1) = k in Tannakian Categories

A neutral Tannakian category over a field $k$ is a rigid $k$-linear abelian tensor category
$\mathcal{C}$ whose unit $1$ satisfies $\mathrm{End}(1) \simeq k$, and is
moreover equipped with an exact ...

**3**

votes

**3**answers

419 views

### What is the proper name for “compact closed” multiplicative intuitionistic linear logic?

Multiplicative intuitionistic linear logic (MILL) has only multiplicative conjunction $\otimes$ and linear implication $\multimap$ as connectives. It has models in symmetric monoidal closed ...

**7**

votes

**2**answers

538 views

### From tensor algebras in monoidal categories to (commutative?) monoids

Let $D$ be a monoidal category (without the structure of a symmetric monoidal category), with unit object $Id$, and let $L$ be an invertible object in $D$, so that $L$ is dualizable and the pairing ...

**2**

votes

**2**answers

213 views

### A better way to compute the mapping spaces of the category of spans in an enriched tensored category?

Let X be a tensored and cotensored V-category, where V is a fixed complete, cocomplete, closed symmetric monoidal category.
Define $C:=Span(X)$ to be the category of spans in X (this is the functor ...

**5**

votes

**1**answer

255 views

### What is the right way to define the nerve of an unbiased monoidal category?

I've been toying around with unbiased composition in higher categorical structures on and off for a while now. In particular, I've been playing around with unbiased monoidal 2-categories. One ...

**8**

votes

**3**answers

627 views

### Skeleton of a braided monoidal category

Does every (lax) braided monoidal category have a braided monoidal skeleton? That is, I want to define a (lax) braided monoidal structure on a skeleton so that it is braided monoidal equivalent to ...

**1**

vote

**2**answers

315 views

### In which categories is every coalgebra a sum of its finite-dimensional subcoalgebras?

Let $\mathcal V$ be a reasonably nice category — I'm interested in the case when $\mathcal V$ is $\mathbb K$-linear for some field $\mathbb K$, abelian, and has all products and coproducts ...

**7**

votes

**4**answers

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

**4**

votes

**1**answer

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

**23**

votes

**8**answers

4k views

### Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks?

There is an idea I've recently gotten interested in that doesn't seem to have a good agreed-upon name ("diagrammatic algebra?"). It centers around the use of two-dimensional diagrams of dots, ...

**9**

votes

**4**answers

3k 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). ...

**7**

votes

**3**answers

728 views

### Tannakian description of a semi-direct product

Let $H$ and $K$ be affine group schemes over a field $k$ of caracteristic zero. Let $\varphi:H\to Aut(K)$ be a group action. Then we can form the semi-direct product $G = K\ltimes H$.
Problem: ...

**6**

votes

**2**answers

587 views

### Is assigning the endomorphism object in some sense functorial?

Let $\mathcal V$ be a monoidal category and let $\mathcal C$ be a $\mathcal V$-category. Let's denote the $\mathcal V$-valued hom-functor $[-,-]$. Now for every object $X\in\mathcal C$ we have it's ...

**3**

votes

**0**answers

166 views

### What is the underlying graphical calculus of the Interactions-Round-a-Face lattice model?

Background
Let $\mathcal{L}$ be an $m \times n$ square lattice on a torus, and let $\Sigma$ be a finite set. We think of $\Sigma$ as the possible spin values that can be assigned to the points of the ...

**7**

votes

**1**answer

367 views

### Category of copresheaves over commutative monoids

Let C be a symmetric monoidal category. Let Comm(C) be the category of commutative monoids in C. Consider the topos X = CoPSh(Comm(C)) of covariant functors from Comm(C) to the category Set of sets.
...

**4**

votes

**2**answers

493 views

### Closed monoidal structure on the derived category of sheaves

Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...

**5**

votes

**5**answers

467 views

### What are the correct axioms for a “weakly associative monoidal functor”?

Definitions and the main question
Recall that a category $\mathcal C$ is monoidal if it is equipped with the following data (two functors, three natural transformations, and some properties):
a ...

**5**

votes

**1**answer

494 views

### Is there a relative version of Tannakian reconstruction?

According to some form of Tannakian reconstruction, given a finite tensor category with a fiber functor to the category of vector spaces, one determines a Hopf algebra by considering tensor ...

**17**

votes

**1**answer

2k views

### Calculating 6j-symbols (aka Racah-Wigner coefficients) for quantum groups

Which $6j$-symbols for quantised enveloping algebras are known explicitly?
The quantum $6j$-symbols for $sl(2)$ are well-known. The references are
Masbaum and Vogel and
Frenkel and Khovanov.
What ...

**7**

votes

**2**answers

402 views

### Effects of “weak” vs. “strict” categories in Eckmann-Hilton arguments

A standard example for demonstrating the need for genuinely weak n-categories is that a weak 3-category with unique 0- and 1-cells amounts to the same thing as a braided monoidal category (by an ...

**10**

votes

**4**answers

888 views

### Why is a monoid with closed symmetric monoidal module category commutative?

Given a symmetric monoidal category and a monoid object A in it, one can form the category of modules over this monoid object, i.e. objects are $A \otimes M \rightarrow M$ satisfying the natural ...

**27**

votes

**4**answers

2k views

### Understanding the definition of the Lefschetz (pure effective) motive

For all those who are unlikely to have answers to my questions, I provide some
Background:
In some sense, pure motives are generalisations of smooth projective varieties. Every Weil cohomology ...

**18**

votes

**1**answer

857 views

### Semiadditivity and dualizability of 2

Short version: Let (C, ⊗, 1) be a locally presentable closed symmetric monoidal category with a zero object, and write 2 = 1 ∐ 1. Suppose the object 2 has a dual. Does it follow that C is a ...

**3**

votes

**1**answer

263 views

### When does a certain natural construction on monoidal categories yield a Hopf algebra?

Let $\mathcal C = (\mathcal C_0,\mathcal C_1)$ be a (small) strict monoidal category. Pick a field $\mathbb K$, and let $\mathbb K[\mathcal C_1]$ be the vector space with basis the morphism of ...

**12**

votes

**3**answers

684 views

### Model Structure/Homotopy Pushouts in topological monoids?

Let C be the category of topological monoids, that is, the category of monoids in (Top, $\times$).
Can the model category structure on Top (Serre fibrations, cofibrations, weak homotopy ...

**9**

votes

**2**answers

3k views

### Is there a meaningful difference between biased and unbiased composition?

In higher category theory, there are notions of biased and unbiased definitions of composition of $n$-morphisms (or, as a special case, tensor products of objects). In the biased framework, we define ...

**12**

votes

**1**answer

912 views

### What is known about module categories over general monoidal categories?

All of the literature I have seen on module categories over monoidal categories has been in the rigid $k$-linear semisimple case, more or less in the spirit of Ostrik's paper, Module categories, weak ...

**4**

votes

**1**answer

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

**13**

votes

**6**answers

1k views

### What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...

**7**

votes

**4**answers

520 views

### What's the right object to categorify a braided tensor category?

The yoga of categorification has gained a lot of popularity in recent years, and some techniques for it have made a lot of progress. It's well-understood that, for example, a ring is probably ...

**9**

votes

**3**answers

486 views

### Are supervector spaces the representations of a Hopf algebra?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to ...

**22**

votes

**4**answers

3k views

### Tannakian Formalism

The Tannakian formalism says you can recover a complex algebraic group from its category of finite dimensional representations, the tensor structure, and the forgetful functor to Vect. Intuitively, ...

**13**

votes

**2**answers

776 views

### Recovering a monoidal category from its category of monoids

What kind of additional properties and/or structures one needs to impose on the category
of (commutative or noncommutative) monoids of some monoidal category
so that one can recover the original ...

**9**

votes

**3**answers

836 views

### When does Tannakian theory work over affine schemes besides fields?

By 'work' I would like the correspondence between fiber functors (to finitely generated projective modules) and algebraic groups to be the same as in the field case.
Specifically, if $A$ is an affine ...

**12**

votes

**6**answers

1k views

### How do I describe a fusion category given a subfactor?

I felt like following up on Kate's question. There were some good motivational answers there.
Given a pair of factors M < N, there is a standard way to construct a 2-category whose objects are M ...

**13**

votes

**3**answers

771 views

### Categorifying the Reals via von Neumann Algebras?

So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...

**9**

votes

**2**answers

309 views

### When do PROP-morphisms induce adjunctions?

If (C,tensor,1) is a symmetric monoidal category and f:A-->B is a morphism of PROPs (or monoidal cats = colored PROPs), one gets a forgetful functor f^*:B-Alg(C)-->A-Alg(C) (where ...

**12**

votes

**4**answers

2k views

### Do all 3D TQFTs come from Reshetikhin-Turaev?

The Reshetikhin-Turaev construction take as input a Modular Tensor Category (MTC) and spits out a 3D TQFT. I've been told that the other main construction of 3D TQFTs, the Turaev-Viro State sum ...

**3**

votes

**3**answers

454 views

### What is a formula for the “group-like Drinfeld element”?

Any quantized universal enveloping algebra (in fact, any toplogically quasi-triangular Hopf algebra) has an (in its completion) an element u called the Drinfeld element which gives an isomorphism from ...

**4**

votes

**2**answers

479 views

### Are there interesting monoidal structures on representations of quantum affine algebras?

Is there a good monoidal structure on a category of integrable representations of a quantum affine algebra? In the ordinary affine Kac-Moody case, there is the usual tensor product (symmetric, adds ...

**6**

votes

**4**answers

763 views

### Are abelian non-degenerate tensor categories semisimple?

A pivotal monoidal category is called non-degenerate if the inner product $\left(x,y\right) = Tr\left(xy^{*}\right)$ (where $y^{*}$ is the dual map) is non-degenerate. As a rule of thumb ...