Questions tagged [symmetric-monoidal-categories]

Filter by
Sorted by
Tagged with
2
votes
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
0answers
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
2answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
3answers
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
1answer
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
2answers
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
0answers
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
5answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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 $[...