The monoidal-categories tag has no usage guidance.

**33**

votes

**0**answers

738 views

### Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following:
The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...

**28**

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

**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, ...

**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, ...

**18**

votes

**1**answer

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

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

**16**

votes

**2**answers

437 views

### What categorical property of monoidal categories picks out the ones with duals?

Recall that a monoidal category $\mathcal C$ is rigid if every object $X\in \mathcal C$ has both left and right duals, i.e. objects $X^l$ and $X^r$ with maps $X^l \otimes X \to \mathbf 1 \to X \otimes ...

**15**

votes

**2**answers

436 views

### Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that ...

**15**

votes

**0**answers

178 views

### Are there small examples of non-pivotal finite tensor categories?

I'm looking for small concrete examples of non-pivotal finite tensor categories to do some calculations with.
Here a finite tensor category is, according to Etingof-Ostrik, a rigid monoidal category ...

**15**

votes

**0**answers

721 views

### Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether
the category of commutative or noncommutative C*-algebras or von Neumann algebras
is equivalent to the category of commutative or ...

**14**

votes

**1**answer

590 views

### Can one explain Tannaka-Krein duality for a finite-group to … a computer ? (How to make input for reconstruction to be finite datum?)

Consider a finite group. Tannaka-Krein duality allows to reconstruct the group from the
category of its representations and additional structures on it (tensor structure + fiber functor). Somehow ...

**14**

votes

**3**answers

665 views

### What non-monoidal functors on monoidal categories are used “in nature”?

Background
For my PhD dissertation, I've developed a categorical generalization of many different systems of denotational semantics for light linear logic (LLL). I'd like to see if I can use this ...

**14**

votes

**0**answers

123 views

### Specific cases of the tangle hypothesis in terms of “classical” n-categories

As is well known, the tangle hypothesis of Baez and Dolan proposes that, for suitable definitions, the $n$-category of framed $n$-tangles in $n+k$ dimensions is the free $k$-tuply monoidal ...

**13**

votes

**2**answers

664 views

### Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...

**13**

votes

**2**answers

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

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

**13**

votes

**3**answers

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

**13**

votes

**2**answers

365 views

### Rectifying the definition of a closed category

The definition of a closed category I'm using is here.
Suppose $V$ is a closed category and that for each object $b\in V$, $[b,-]$ has a left adjoint $- \otimes b$. The result is nearly a monoidal ...

**12**

votes

**3**answers

2k views

### History and motivation for Tannaka, Krein, Grothendieck, Deligne et al. works on Tannaka-Krein theory?

I am trying to wrap my mind around Tannaka-Krein duality and it seems quite mysterious for me, as well, as its history. So let me ask:
Question: What was the motivation and historical context for ...

**12**

votes

**3**answers

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

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

**12**

votes

**2**answers

550 views

### The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...

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

**12**

votes

**3**answers

857 views

### Free symmetric monoidal category on a monoidal category

Consider the $2$-categories
$\mathsf{MonCat}$ of monoidal categories, with strong monoidal functors and monoidal transformations,
$\mathsf{SymMonCat}$ of symmetric monoidal categories, with strong ...

**12**

votes

**2**answers

448 views

### Cartesian envelope of a symmetric monoidal category

Is there a left adjoint to the forgetful functor from cartesian monoidal categories to symmetric monoidal categories? And if so: how can it be described explicitely.
In more detail: Given a symmetric ...

**12**

votes

**1**answer

755 views

### Are Lurie's operads special SMCs?

In Higher Operads, Higher Categories, Leinster nicely characterizes operads among monoidal categories (as PROs). Roughly speaking, a monoidal category comes from an operad if its set of objects is ...

**12**

votes

**1**answer

281 views

### Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes.
Equivalently (i) every interpretation of ...

**12**

votes

**1**answer

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

**12**

votes

**1**answer

189 views

### Is there a finite test for isomorphisms of rigid monoidal abelian categories?

Let $G$ be a semisimple algebraic group. (I'm already interested in the case $G=SL_2$.)
Let $\mathcal C$ be a semisimple rigid monoidal abelian category endowed with pair of exact tensor functors ...

**12**

votes

**1**answer

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

**11**

votes

**2**answers

461 views

### Iterating monoid categories

Let $(C, \otimes)$ be a symmetric monoidal category (maybe braided is also okay). Then the category $\text{Mon}(C)$ of monoid objects in $C$ is also a symmetric monoidal category with the same ...

**11**

votes

**1**answer

616 views

### Reference for “lax monoidal functors” = “monoids under Day convolution”

Suppose $A$ and $C$ two symmetric monoidal categories. Let's say that $A$ is small and $C$ is locally presentable, and let's assume also that the tensor product on $C$ preserves colimits separately in ...

**11**

votes

**1**answer

402 views

### Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$
A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...

**11**

votes

**1**answer

209 views

### Understanding the computation of the center of Tambara-Yamagami fusion categories when realized as C* categories

Recall that the Tambara-Yamagami categories are those with fusion ring $\mathbb{Z}[A \cup m]$ where $A$ is an abelian group and $m$ is a non-invertible (simple) object such that $ma = am = m$ for all ...

**10**

votes

**4**answers

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

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

**9**

votes

**3**answers

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

**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). ...

**9**

votes

**3**answers

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

**9**

votes

**2**answers

404 views

### Reference for an unbiased definition of a symmetric monoidal category

In the references I know, a symmetric monoidal category is defined as a monoidal category equipped with some additional data, so in particular the monoidal product is a functor
$$
\mathcal{C}\times ...

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

**9**

votes

**2**answers

698 views

### Localization of a symmetric monoidal category at a single morphism

Let $C$ be a symmetric monoidal category, and $f : x \to y$ be a morphism in $C$. I would like to construct the localization $C_f$ explicitly, which solves the universal property
...

**9**

votes

**1**answer

217 views

### Enriching categories and equivalences

Let $\mathcal{C}$ and $\mathcal{D}$ be two equivalent categories. Furthermore, assume $\mathcal{C}$ is enriched over a monoidal category $(\mathcal{M}, \otimes)$. Can one use the equivalence to ...

**9**

votes

**2**answers

439 views

### A cosmos where coproduct injections are not monic

The injections (coprojections) of a coproduct in a category are very often monomorphisms. For instance, this happens in any extensive category (essentially by definition) and also in any category ...

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

**9**

votes

**1**answer

753 views

### Gamma spaces and monoidal categories

In his paper "Categories and cohomology theories" Graeme Segal gives examples how to construct a Gamma category and therefore also a Gamma space from a strict monoidal category like finite chain ...

**9**

votes

**0**answers

100 views

### t-structures on the tensor product of stable $\infty$-categories

It is a matter of checking definitions that the tensor product of presentable $\infty$-categories restrict to a tensor product between stable presentable $\infty$-categories; I was wondering if there ...

**9**

votes

**0**answers

273 views

### Twisted duality in a symmetric monoidal category

I would like to know if the following definition is already known or even well-known. Is there a reference in the literature? Do you know prominent examples?
Definition. Let $\mathcal{C}$ be a ...

**9**

votes

**0**answers

184 views

### Are pivotal categories the algebras for a cartesian monad?

It seems to be "known" but not written down that the following are more-or-less equivalent:
...

**8**

votes

**2**answers

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