The monoidal-categories tag has no usage guidance.

**9**

votes

**0**answers

183 views

### Grothendieck Construction, Categories of Operators and Opposites

Given a symmetric monoidal category $C$, we can construct its endomorphism operad (or multicategory) $End(C)$ whose objects are the objects of $C$, and for which the multimorphisms from $\{c_1,\ldots,...

**2**

votes

**0**answers

38 views

### Analogy between Mac Lane's coherence theorem and independence of bracketing

It is an elementary fact that if a binary operation on a set is associative then any multi-term product can be written unambiguously without bracketing. Superficially the coherence theorem for ...

**0**

votes

**0**answers

45 views

### Differential categories vs McBride's notion of derivative

Has anyone done an analysis to see if Blute, Cockett, and Seely's differential categories suffice to provide a notion of 1-hole context in the symmetric monoidal setting?

**5**

votes

**0**answers

288 views

### Deligne's theorem on the characterisation of Tannakian categories

I am trying to understand the proof of the Theorem 7.1 from Catégories Tannakiennes by Pierre Deligne https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf.
Essentially, it is ...

**2**

votes

**1**answer

89 views

### When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...

**3**

votes

**1**answer

96 views

### Self-enrichment of reflective subcategories of self-enriched categories

I'll go straight to the point of my question:
Say $\mathscr{A}$ is a reflexive subcategory of $\mathscr{B}$, meaning the inclusion functor $i: \mathscr{A} \to \mathscr{B}$ is fully faithful and ...

**4**

votes

**0**answers

47 views

### Temporal semantics for string diagrams

Suppose I have a string diagram $D$ which involves a set of strings $S$ and atomic processes $A$. Formally, we should think of this as a canonically chosen map in the free symmetric monoidal category (...

**5**

votes

**1**answer

172 views

### Twisted Day convolution

Has anyone studied a version of Day convolution for an enriched presheaf category $V^{A^{\mathrm{op}}}$ where the monoidal structure of $V$ is "twisted" on one side by an action of $A$? I'm thinking ...

**2**

votes

**0**answers

44 views

### Branching behavior in string diagrams/monoidal categories?

I am currently working through Peter Selinger's paper "Towards a Quantum Programming Language", and trying to connect it with what I already know about monoidal categories and string diagrams.
...

**3**

votes

**1**answer

129 views

### Is the biproduct of dualizable objects itself dualizable

In a monoidal category with biproducts, let $A$ and $B$ be objects with right duals. Then does $A \oplus B$ have a right dual?
The question is a bit subtle. Suppose I already know that $A \oplus B$ ...

**1**

vote

**1**answer

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

**2**

votes

**0**answers

67 views

### Deligne tensor product of semisimple tensor categories

Let $T_1, T_2$ be two semisimple tensor categories over a field $k$ (i.e. symmetric rigid monoidal abelian $k$-linear). Then is the Deligne product, $T_1\otimes T_2$ also a $k$-tensor category?
...

**7**

votes

**0**answers

118 views

### Modular Tensor Categories: Reasoning behind the axioms

(Sorry for the length of the question, I'm trying to communicate what is bothering me as thoroughly as possible)
In the construction of modular tensor categories (MTC) from ground zero, we put ...

**9**

votes

**0**answers

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

**3**

votes

**1**answer

139 views

### Seeking more information regarding the “rigoidal category” of $\mathbb{N}$-graded sets

Definitions.
By an $\mathbb{N}$-graded set, I mean a set $X$ together with a function $|\Box|_X:\mathbb{N} \leftarrow X,$ called the grading. These will simply be called graded sets hereafter.
If $Y$...

**6**

votes

**0**answers

118 views

### Is there a finite test for isomorphisms of rigid monoidal abelian categories, part II

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 an additive tensor functor $Rep_G ...

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

**1**

vote

**0**answers

68 views

### Non-trivial but simple concrete examples for some categories related to Tensor/Fusion categories

I'm writing a note on Tensor and Fusion categories, the readers of which are physicists rather than mathematicians. So instead of giving abstract definitions I have to give examples to inspire each ...

**1**

vote

**1**answer

154 views

### Mac Lane strictness theorem and categorifiability of fusion rings

The Mac Lane strictness theorem states that any monoidal category is monoidally equivalent to a strict monoidal category (see here section 2.8).
Q1: Is it true that any fusion category is monoidally ...

**16**

votes

**2**answers

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

**2**

votes

**1**answer

128 views

### The definition of unitary fusion category

I just come across a definition of the unitary fusion category:
A fusion category $\mathcal{C}$ over the complex number is said to be unitary if we have:
We have a Hilbert space structure on each ...

**14**

votes

**0**answers

126 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 $n$-...

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

**7**

votes

**1**answer

256 views

### Conditions on the fusion data of symmetric fusion category

We know that every symmetric fusion category (SFC) gives rise to data
$N^{ij}_k$ that describe the fusion of simple objects:
$i\times j = N^{ij}_k k$, and the data $\theta_i =\pm 1$ that describe the ...

**3**

votes

**0**answers

96 views

### About the definition of lax.functor between tricategories

SUMMARY: Observing that monoids in a monoidal category are identified with lax.functors (with domain 1), I tried to generalize this argument wanting to get a skew-Monoidal-category as (tri)lax....

**4**

votes

**0**answers

57 views

### Are there any dominant pivotal functors such that the regular representation is not mapped onto a multiple of the regular representation?

This question is related to Pivotal functors of that are substantially different from finite group homomorphisms.
A tensor functor $F: \mathcal{C} \to \mathcal{D}$ is called dominant (sometimes ...

**2**

votes

**0**answers

109 views

### How to compute (co)limits of enriched categories?

I've asked this question on math.stackexchange some time ago (http://math.stackexchange.com/questions/1380176/how-to-compute-colimits-of-enriched-categories) and I received no complete answers, so I'm ...

**4**

votes

**0**answers

181 views

### Schwede-Shipley theorem for monoidal categories?

The Schwede-Shipley theorem gives a criterion for a presentable stable $\infty$-category to be the category of modules over an $\mathcal{E}_1$-algebra. Is there any similar criterion for a monoidal ...

**2**

votes

**0**answers

73 views

### Involution of unital based ring (Grothendieck ring of a fusion category)

Let $A$ be a unital based ring in the sense of [Ostrik, arXiv:math/0111139]. As part of the data we have a base $B = \{b_i\}_{i\in I}$, and an involution $i \mapsto \bar i$ of $I$ whose induced map $\...

**3**

votes

**1**answer

80 views

### Semisimple monoidal category with duals

We say that an abelian category is semisimple if every object is a semisimple object, which is to say, a direct sum of finitely many simple objects.
Let $({\cal C},\otimes,*)$ be a semisimple ...

**3**

votes

**1**answer

143 views

### About a closed strucure on profunctors

Let $Prof$ the bicategory with profunctors (on small categories), arrows are like $D: \mathscr{A} \dashrightarrow \mathscr{B}$ and this means that $D: \mathscr{A}^{op} \times \mathscr{B}\to Set$.
...

**0**

votes

**1**answer

112 views

### Adjointable Abelian Monoidal Functor

Given two abelian monoidal categories ${\cal C,D}$ (where the monoidal operation is bilinear) and an additive monoidal functor $F:{\cal C} \to {\cal D}$. Will $F$ always admit an adjoint?

**3**

votes

**2**answers

229 views

### When is the adjoint to a monoidal functor monoidal?

Let $\mathcal C,\mathcal D$ be monoidal categories. Recall that a functor $F : \mathcal C \to \mathcal D$ is lax monoidal if it is equipped with maps $1_{\mathcal D} \to F(1_{\mathcal C})$ and $F(X) \...

**13**

votes

**2**answers

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

**13**

votes

**2**answers

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

**6**

votes

**1**answer

237 views

### Categorical definition of infinite symmetric product

Let $(C,\otimes,I)$ be a symmetric monoidal category with coequalizers and directed colimits.
Fix some object $X$ and morphism $\tau\colon I\to X.$
Using $\tau$ one can construct a sequence of ...

**9**

votes

**2**answers

444 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

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

**5**

votes

**1**answer

266 views

### What is the monoidal equivalent of a locally cartesian closed category?

If a closed monoidal category is the monoidal equivalent of a Cartesian closed category, is there an analogous equivalent for locally cartesian closed categories? Is there a standard terminology or ...

**1**

vote

**0**answers

281 views

### Does the Boardman-Vogt tensor product of operads commute with their W-construction

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...

**4**

votes

**2**answers

371 views

### Kan extensions in the $2$-category of monoidal categories

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of $k$-...

**1**

vote

**0**answers

117 views

### How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories.
Here's a guess:
In order to compute a colimit of monoids we can push everything down ...

**2**

votes

**0**answers

81 views

### Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...

**3**

votes

**0**answers

118 views

### Proofs in monoidal categories [closed]

I have to do some pretty ugly proofs in monoidal categories. Basically, I have some long identities that I would like to prove. A random example:
$$(a\otimes b)\circ (c\otimes d) \circ q = q $$
Are ...

**1**

vote

**1**answer

340 views

### Computation of extreme rays of rational polyhedral cones - Hemmecke's project and lift algorithm

I am working on an implementation of Raymond Hemmecke's algorithm for finding generating sets of cones: http://arxiv.org/abs/math/0203105
Unfortunately I am struggling to make the algorithm work on ...

**4**

votes

**0**answers

156 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**1**

vote

**1**answer

103 views

### Lax monoids where only the unit triangle is lax

I was rereading the paper Directoids: algebraic models of up-directed sets by Ježek and Quackenbush, this time with category theory in mind. When I tried to describe what the results in that paper ...

**6**

votes

**1**answer

276 views

### In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?

Question: In a closed monoidal abelian category such that the unit object is compact projective, must the tensor product of compact projective objects be compact projective?
Recall that an object $X\...

**15**

votes

**2**answers

439 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 $\mathrm{Top}$...

**8**

votes

**2**answers

425 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...