Questions tagged [monoidal-categories]

A monoidal category, also called a tensor category, is a category $\mathcal{C}$ equipped with a bifunctor $\otimes\colon \mathcal{C}\times\mathcal{C}\to \mathcal{C}$ which is associative up to a natural isomorphism, and an object $\mathbb{1}$ which is both a left and right identity for $\otimes$ up to a natural isomorphism.

485 questions
Filter by
Sorted by
Tagged with
69 views

Is Set coclosed?

Background: $\mathbf{Set}$ is a (cartesian) closed monoidal category, so we have the natural tensor-hom adjunction $\text{Hom}(X\times Y,Z)\cong\text{Hom}(X,\text{Hom}(Y,Z))$ for sets $X,Y,Z$. ...
23 views

Associahedron, but with swaps

The associahedron has edges of the form $a(bc)\rightarrow (ab)c.$ But I also want to include the possibility of swapping adjacent entries by doing operations like $a(bc) \rightarrow a(cb).$ I was ...
43 views

Does this implication hold in a ribbon fusion category?

Let $\mathcal{C}$ be a ribbon fusion category in the sense of e.g. Bakalov-Kirillov Lecture Notes on tensor categories and modular functors. The notion of the $S$-matrix is of course well-known. ...
44 views

Is the unit compact in a closed monoidal (co)complete category?

Let $\mathcal{M}$ be a complete and cocomplete closed symmetric monoidal category, with unit $I.$ Does the functor $\text{Hom}_{\mathcal{M}}(I,-)$ always preserve filtered colimits? A reference or a ...
44 views

The definition of a free monoidal category

I want to understand what a free monoidal category is, over a signature $\Sigma,$ as described just before Theorem 2.3 of Selinger. In particular, I am hoping to get a more explicit description of the ...
71 views

When is a left or right invertible morphism between isomorphic objects an isomorphism?

I just happened upon the age-old question in the title. We all know that an injection or surjection between e.g. finite-dimensional vector spaces of the same dimension or finite sets of the same ...
46 views

Why a monoidal category with only one object is a monoid in the category of monoids?

I'm reading Chapter 4 in Steve Awodey's Category Theory and it mentions A discrete monoidal category, that is, one with a discrete underlying category, is obviously just a regular monoid (in $Sets$), ...
30 views

Self-dual object in tensor triangulated categories which are not strongly dualizable

I am working in a closed symmetric tensor triangulated category. This is a triangulated category $\mathcal{T}$ admitting a symmetric monoidal structure with tensor product $\otimes$ which is closed. ...
124 views

What makes every strong monad on a certain category be a monoidal functor?

A concept named Monad is used a lot in functional programming. And in spite their definition is not completely same with the definition of monad in category theory, as I know, Monad on a programming ...
96 views

Intuition for definition of monoid in Category theory

I struggle real had trying to understand the definition of monoid in Category theory. At the first glance, the definition of monoid seems nothing but the definition in abstract algebra, but when I try ...
50 views

Left inverse in monoid, left dual in monoidal category, and uniqueness

The notion of monoidal category is a categorification of the notion of monoid. If $M$ is a monoid, consider the monoidal category $Vec_M$ (of $M$-graded vector spaces over a field $\mathbb{k}$). If an ...
26 views

2-morphism between circuits in a monoidal category

We are used to seeing equations between circuits in monoidal categories like this: I am wondering about morphisms between string diagrams. I think they are 2-cells. I have an example of a 2-cell ...
32 views

Symmetric Frobenius structure. [closed]

I am new to the Frobenius Algebra course. One of my textbook exercises ask to prove: Show that every finite-dimensional simple algebra admits a symmetric Frobenius structure. I have no idea how to ...
41 views

A matrix ring over $\mathbb{C}$ is also a Frobenius algebra over $\mathbb{R}$

I am new to the Frobenius Algebra course. One of my textbook exercises ask to prove: A matrix ring over $\mathbb{C}$ is also a Frobenius algebra over $\mathbb{R}$ My attempt: I know that I can give a ...
85 views

80 views

Distributive monoidal categories

Can anybody point me towards a paper where distributive monoidal categories are defined properly ? I have seen them mentioned in nLab, but I wanted to check that nLab hasn't omitted any coherence ...
43 views

Definition of planar isotopy of diagrams in a monoidal category

I am reading this paper about graphical language in categories and at page 11 the author introduces this intuitive notion of planar isotopy for diagrams of a monoidal category. I can see the intuition ...
28 views

142 views

A tensor category need not be isomorphic to a strict tensor category

I'm reading the book "Tensor categories" by Etingoff (and others). In remark 2.8.6 (posted below), it is claimed that the category $\mathcal{C}_G^\omega$ (defined in example 2.3.8, also ...
58 views

Why do we need $End(I)=k$ for neutral Tannakian categories?

I have been reading Milne's book 'Basic Theory of Affine Group Schemes', and in particular the section on Tannaka duality for affine group schemes. The 'final' theorem of this section is displayed ...
42 views

Free monoidal and free Markov categories

I hope this question is not too vague. I suppose one way to think about all the paths from one vertex to another within graph is to think about the free functor from graphs to categories, which is the ...
70 views

Definition of rigid monoidal category generated by a category

A rigid monoidal category is a monoidal category where every object has both left and right duals. Is there a precise definition of rigid monoidal category generated by a category $C$? What would it ...
39 views

Rig vs bimonoidal categories

I was wondering if rig categories (as discussed here ncatlab: rig category for example), are the same thing as bimonoidal categories (as discussed here Bimonoidal Structure of Probability Monads for ...
112 views

Why does this diagram commute?

I am trying to understand the commutativity of diagram (2) of Proposition 3.11 from this paper. It should be a simple computation but I don't understand how they do it and when I try to do it myself I ...
35 views

Why is the category of $\textit{right } A$-modules a $\textit{left } \mathcal{C}$-module category?

Let $C$ be a monoidal category and let $A$ be an algebra in $C$. Why is the category $Mod_C(A)$ of right $A$-modules a left $C$-module category? Take any $Y \in Mod_C(A)$ and any $X \in C$. We want ...
21 views

Closed embedding of topological groups and representation category

If $\mathcal{T}_1,\mathcal{T}_2$ are two neutral Tannakian categories with fibre functors $\omega_1,\omega_2$ respectively. Then a morphism of neutral Tannakian categories F:\mathcal{T}_1\to \...
44 views

an infinite monoid that is not free monoid and does not contain any free monoid [duplicate]

Let $H$ generated by some generators $H=\langle h_1, \ldots, h_n\rangle$ $(n\gt 1)$. My question is whether there exists any monoid $H$ such that $H$, is infinite and $H$ is not a free monoid and $H$ ...
34 views

Category of symmetric monoidal functors out of a symmetric monoidal category with duals form a groupoud

In Lurie's proof of the cobordism hypothesis, he uses the following fact: Let $C,D$ be a symmetric monoidal categories with duals, and $Z_1,Z_2\colon C\to D$ be symmetric monoidal functors, then any ...
If $A$ is an algebra over $\mathbb C$, or, in other words, a monoid in the closed monoidal category $_{\mathbb C}\operatorname{Vect}$ of all vector spaces over $\mathbb C$, then, clearly, the category ...
Let $1-\operatorname{Cat}^{\operatorname{St,cocmpl}} _{\operatorname{cont}}$ denote the ($\infty$-)category of stable cocomplete ($\infty$-)categories. The Ind-completion $\operatorname{Ind}(C_0)$ of ...