# Questions tagged [symmetric-monoidal-categories]

The symmetric-monoidal-categories tag has no usage guidance.

56
questions

**2**

votes

**0**answers

23 views

### Automated rewriting of string diagrams in symmetric monoidal categories

Many algebraic structures, such as Frobenius algebras, or quasi-triangular Hopf algebras, can be formulated in an arbitrary symmetric monoidal category. They are given by a collection of morphisms, ...

**1**

vote

**0**answers

61 views

### Oplax monoidal functors of $\infty$-categories

In Higher Algebra, a notion of lax symmetric monoidal functors (in what follows, I'll remove the adjective "symmetric", but I'm mainly interested in the symmetric situation) is defined : if you have ...

**5**

votes

**0**answers

124 views

### Does Cantor Bernstein hold in a Closed Symmetric Monoidal Category?

In a closed symmetric monoidal category with $[I,X] \cong X$ for all $X$ is it true that having monomorphisms $m :A \rightarrow B$ and $m: B \rightarrow A$ is enough to imply $A \cong B$ ?
I tried to ...

**2**

votes

**0**answers

199 views

### Very basic question about category theory

I have a symmetric monoidal category, and go to another one by replacing objects with isomorphism classes of objects. What's that called in category theory language?
To give an example, consider the ...

**3**

votes

**2**answers

232 views

### The symmetric monoidal closed structure on the category of $\mathcal{F}$-cocomplete categories and $\mathcal{F}$-cocontinuous functors

In 6.5 of the book by Kelly,
Basic concepts of enriched category theory. Reprints in Theory and Applications of Categories, No. 10, 2005.
the author claims that the $2$-category $\mathsf{Cat}_{\...

**7**

votes

**2**answers

608 views

### Mac Lane's proof of coherence for symmetric monoidal categories

This question only concerns the final part of the proof, so I assume that the symmetric monoidal category is a strict monoidal category $\mathsf{C}$ with the braiding $s$.
Let $X_1,...,X_n$ be ...

**2**

votes

**0**answers

179 views

### Deligne's internal characterisation of Tannakian categories - glueing of algebras

I am currently reading the proof of Deligne's internal characterization of Tannakian categories (Thm. 7.1) in Deligne: Catégories tannakiennes.
My question is similar to this one.
Given a ...

**7**

votes

**2**answers

298 views

### A question about the Tannaka-Krein reconstruction of finite groups

In Chapter 15 Section 15.2.1 of Quantum Groups and Noncommutative Geometry, 2nd edition, the authors raised a question: can we reconstruct a finite group $G$ from its category of finite dimensional ...

**3**

votes

**1**answer

269 views

### Krein's theorem in the Tannaka-Krein duality

In the Tannaka-Krein duality theory, the Krein theorem describes the conditions under which a given category $\varPi$ is a category of finite-dimensional representations of some compact group $G$:
...

**4**

votes

**0**answers

285 views

### “Fundamental theorem for Hopf modules”

I am studying Hopf algebras in categories, and I hope, somebody could help me with the following.
Joost Vercruysse in his paper Hopf algebras---Variant notions and reconstruction theorems writes (...

**5**

votes

**2**answers

282 views

### Symmetric monoidal category with trivial switch morphisms

Is there a specific terminology for a symmetric monoidal category in which for any object $x$ the switch map $x\otimes x\to x\otimes x$ is the identity ? (Or alternatively the action of the symmetric ...

**5**

votes

**1**answer

247 views

### Tannaka duality for closed monoidal categories

I asked this some time ago at mathstackexchange, and people there explained to me the mathematical part of what I was asking, but the question about references remains open. In my impression, people ...

**9**

votes

**1**answer

346 views

### Trace in the category of propositional statements

By the result in this paper, there exists a categorification of the trace of a linear operator that generalizes to any endomorphism of a dualizable object in a symmetric monoidal category ($\textbf{...

**3**

votes

**0**answers

96 views

### Can the effective topos be seen as symmetric monoidal?

In
Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?
user Zhen Lin states the effective topos is locally cartesian closed. On nLab we have that locally ...

**3**

votes

**0**answers

61 views

### Computing weak operadic colimits as colimits

I am trying to reduce the computation of weak operadic colimits to colimits. Let me introduct some notation. Let $q:C^{\otimes} \to N(Fin_*)$ be a symmetric monoidal category.
Let $p: K \to C^{\...

**2**

votes

**1**answer

171 views

### Symmetric monoidal structure on algebras

I stuck at a relatively simple thing of formalization in infinity setting.
I use here the formalism of quasi categories, i.e. simplicial sets with inner horn fillings.
Suppose $O^{\otimes}$ is an ...

**11**

votes

**3**answers

308 views

### Inequivalent compact closed symmetric monoidal structures on the same category

I am looking for interesting examples of categories admitting multiple monoidally inequivalent closed (or compact closed) symmetric monoidal structures.
We know how to construct disconnected toy ...

**10**

votes

**1**answer

248 views

### Is every symmetric monoidal combinatorial model category symmetric monoidally Quillen equivalent to a simplicial such?

Is every symmetric monoidal combinatorial model category symmetric monoidally Quillen equivalent (by a zig-zag of symmetric monoidal Quillen equivalences)
to a symmetric monoidal combinatorial ...

**12**

votes

**2**answers

510 views

### Status of Thomason's idea for a symmetric monoidal model of stable homotopy - from his last paper

In 1995, Robert Thomason published “Symmetric monoidal categories model all connective spectra” in TAC. On page 2, he argues that symmetric monoidal categories are more convenient than “May’s ...

**5**

votes

**0**answers

234 views

### Derived tensor products and Tor of commutative monoids

Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...

**19**

votes

**5**answers

759 views

### If a $\otimes$-idempotent object has a dual, must it be self-dual?

Let $C$ be a symmetric monoidal category.
Recall that a dual for $X \in C$ is an object $X^\vee$ and maps $\eta: I \to X \otimes X^\vee$ and $\varepsilon: X^\vee \otimes X \to I$ (where $I$ is the ...

**8**

votes

**1**answer

453 views

### Monoidal tensor product which preserves directed limits

Given a symmetric monoidal category $Q$, is there a construction of a (preferably full and faithful strong) monoidal embedding of $Q$ into some symmetric monoidal closed category $M$ which has all ...

**15**

votes

**1**answer

442 views

### What are the advantages of various “models” for the motivic stable homotopy category

People use several distinct models for the motivic stable homotopy category (so, there are some choices for the underlying category and a collection of available model structures). I would like to ask ...

**15**

votes

**0**answers

332 views

### Representation categories and homology

Let $G$ be a finite group.
Let $\mathcal{C}=Rep-G$ be the rigid $\mathbb{C}$-linear symmetric monoidal category of finite dimensional complex representations of $G$.
Can we recover some homological ...

**2**

votes

**0**answers

194 views

### Free commutative monoid monad

Has the monad induced by the free commutative monoid functor already been studied anywhere? Does it have any particular properties (other than not being cartesian)?
I would prefer a reference on ...

**4**

votes

**1**answer

197 views

### Left adjoint for categories of commutative monoids?

The $n$Lab writes (prop. 2.2 in https://ncatlab.org/nlab/show/category+of+monoids) :
Let $C$ be a monoidal category with countable coproducts that are preserved by the tensor product. Then the ...

**2**

votes

**1**answer

118 views

### How nontrivial can “central extensions of ribbon fusion categories” be?

In a sense, this is a follow up on this question, but one PhD programme later.
Let $\mathcal{C}$ be ribbon fusion. By $\mathcal{C}'$, we denote the symmetric centre, i.e. the full subcategory of ...

**5**

votes

**0**answers

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

107 views

### Chevalley property for Tannakian categories

Are all Tannakian categories have the Chevalley property? I know that the categories $\mathrm{Rep}_k(G)$ have the Chevalley property for affine algebraic groups $G$ over a field $k$, but I don't know ...

**3**

votes

**1**answer

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

**17**

votes

**1**answer

791 views

### Exponentiation of vector spaces?

This question occurred to me while thinking on another one here, Name for an operation on matrices?
Can one define in an invariant way a binary operation on finite-dimensional vector spaces - let us ...

**11**

votes

**2**answers

760 views

### The category of elements, enrichment, and weighted limits

This is a crosspost of this MSE question.
Every so often, when reading notes online or skimming through books, the category of elements and the Grothendieck construction pop up. I don't know anything ...

**12**

votes

**2**answers

615 views

### Adding inverses to a symmetric monoidal category (Reference?)

As we all know, the forgetful functor $\mathsf{Ab} \to \mathsf{CMon}$ from abelian groups to commutative monoids has a left adjoint, the Grothendieck group. I would like to categorify this ...

**6**

votes

**1**answer

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

**16**

votes

**2**answers

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

**13**

votes

**1**answer

434 views

### Is there something like “Noncommutative geometry internal to a category”?

I have heard that one can do algebraic geometry internal to symmetric monoidal categories. Topological quantum field theories also exist internal to symmetric monoidal categories, and the usual ...

**7**

votes

**0**answers

262 views

### Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...

**3**

votes

**0**answers

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

**3**

votes

**2**answers

811 views

### When is the endofunctor category of a monoidal category braided? When is it ribbon? Fusion? Modular?

Given a category $\mathcal{C}$, we can define the category of endofunctors $\operatorname{Cat}(\mathcal{C})$, with objects functors $F: \mathcal{C} \to \mathcal{C}$ and morphisms natural ...

**5**

votes

**1**answer

260 views

### Is there a quotient or exact sequence of symmetric, premodular (ribbon fusion) and modular categories?

In Walker and Wang's article about (3+1)-TQFTs from premodular categories, they say on page 14 that you can take a quotient of a premodular category $\mathcal{C}$ by its symmetric fusion subcategory $...

**0**

votes

**0**answers

233 views

### Shift functor and the origin of the linear decalage isomorphism

Let $(\mathbf{Vec}_\mathbb{Z}(\mathbb{K}),\otimes,\tau)$ be the symmetric monoidal category of $\mathbb{Z}$-graded $\mathbb{K}$-vector spaces, where $\otimes$ is the tensor product of $\mathbb{Z}$-...

**0**

votes

**1**answer

187 views

### If a (linear) relation maps Lagrangian subspaces to Lagrangian subspaces, is it a Lagrangian relation?

Let $(U,\omega),(V,\rho)$ be symplectic vector spaces. Call a relation $U \to V$ a (linear) Lagrangian relation (also Lagrangian correspondence) if it is a Lagrangian subspace of $\overline U \oplus V$...

**9**

votes

**2**answers

436 views

### What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...

**6**

votes

**2**answers

345 views

### String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...

**4**

votes

**1**answer

268 views

### How do we handle the symmetry condition in nCob and TQFTs?

A $(n+1)$-topological quantum field theory $\mathcal{T}$ is a rigid symmetric monoidal functor from the category $(n+1)$-Cob of $n$-manifolds and $(n+1)$-cobordisms to FdVect.
My question is about the ...

**2**

votes

**2**answers

317 views

### Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?

The question is in the title, here is my motivation:
$\require{AMScd}$Let $(\mathcal C,\otimes,I)$ be a monoidal symmetric closed category. Then, the tensor product commutes with colimits, and if $\...

**2**

votes

**1**answer

395 views

### Functors with an epi-mono factorization property

This is a simple question about terminology and a request for any related references. Specifically, what would you call a functor $F:\mathbf{D}\rightarrow\mathbf{C}$ with the following property?
$(*)...

**1**

vote

**1**answer

132 views

### lfp property for dagger symmetric monoidal categories and their internal categories

We can define internal categories in a monoidal category like this. Let $C$ be a dagger symmetric monoidal category. Will $C$ be locally finitely presentable? Let $C_{int}$ be the category of ...

**2**

votes

**2**answers

340 views

### Definitions and coherence in “rigid” monoidal categories

In "Catégories Tannakiennes" by Savedra Rivano (under A. Grothendieck supervision) at pag.78 he define a rigid category $\mathscr{C}$ as a monoidal symmetrical closed such that the natural morphisms $[...