Questions tagged [symmetric-monoidal-categories]

Filter by
Sorted by
Tagged with
5
votes
1answer
322 views

Braided monoidal category, example

Let $H$ be a cocommutative hopf algebra. Let $M$ be the category of $H$-bimodules. Does the category $M$ form a braided monoidal category with tensor product $\otimes_{H}$ ?
3
votes
1answer
254 views

Is every $\otimes$-invertible object “coherently sym-central”?

Let $\mathcal C$ be a symmetric monoidal $\infty$-category, and let $L \in \mathcal C$ be a $\otimes$-invertible object. Then the braiding $L \otimes L \to L \otimes L$ is simply multiplication by $\...
4
votes
0answers
59 views

Symmetric monoidal structure(s) on the $\infty$-category of dg-categories

Let $k$ be a commutative ring with $1$, and let $\mathsf{dgCat}_k$ be the category of $k$-linear dg-categories, as defined in [1, Section 2]. We may equip $\mathsf{dgCat}_k$ with the Morita model ...
3
votes
1answer
167 views

Frobenius algebras and traces of modules

$\newcommand{\Hom}{\mathscr{Hom}}$ Let $C$ be a cocomplete closed symmetric monoidal category, and the tensor product preserves colimits in each variable; Let $A$ be a commutative algebra in $C$, ...
6
votes
1answer
198 views

Formal completion of a quotient stack

$\newcommand{\Rep}{\operatorname{Rep}}$ $\newcommand{\mo}{\operatorname{-mod}}$ $\renewcommand{\hat}{\widehat}$ I apologize in advance if this is a naive question but my background in algebraic ...
7
votes
2answers
335 views

References about “monoidal fibrations” in $\infty$-category theory

$\newcommand{\cat}{\mathsf} \newcommand{\fun}{\mathrm{Fun}} \newcommand{\calg}{\mathrm{CAlg}}$ Let $\cat C^\otimes,\cat D^\otimes, \cat E^\otimes$ be symmetric monoidal $\infty$-categories, and $p^\...
6
votes
1answer
110 views

Tensor product of unit and co-unit in a closed compact category

Consider a compact closed category, i.e., a symmetric monoidal category with a unit $\eta$ and co-unit $\epsilon$. It seems natural to demand that the tensor product of two units (for different ...
8
votes
1answer
179 views

R-matrices and symmetric fusion categories

Given a $\mathbb{C}$-linear braided fusion category $\mathcal{C}$ containing a fusion rule of the form e.g. \begin{equation}X\otimes Y\cong A\oplus B \oplus C\end{equation} (where $A,B, C, X$ and $Y$ ...
4
votes
1answer
84 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
89 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
134 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
208 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
252 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
637 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
184 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
346 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 ...
4
votes
1answer
329 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$: ...
5
votes
0answers
321 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
301 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
269 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 ...
10
votes
1answer
388 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
110 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 ...
4
votes
0answers
80 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
205 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
339 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
267 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
534 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
280 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
810 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
599 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
460 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
334 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
208 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
206 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
122 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 ...
7
votes
1answer
128 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 (...
7
votes
1answer
124 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
114 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
254 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
847 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 ...
13
votes
2answers
911 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
678 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
313 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
804 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
460 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 ...
8
votes
0answers
281 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
130 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
935 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
274 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
268 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}$-...