Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [monoidal-categories]

In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a natural isomorphism. (Def: http://en.m.wikipedia.org/wiki/Monoidal_category)

21
votes
0answers
271 views

Semirings induced by symmetric monoidal categories with finite coproducts

A symmetric monoidal category with finite coproducts is by definition a symmetric monoidal category $(\mathcal{C},\otimes,1,\dotsc)$ such that the underlying category $\mathcal{C}$ has finite ...
7
votes
0answers
459 views

What's there to do in category theory?

I'm sure anyone who's heard of categories has also heard the classical "Well obviously there aren't any real theorems in category theory, it's much too general", or something in the likes of it. Now ...
7
votes
0answers
104 views

What's a double category with one object?

Categories with one object are equivalent to monoids. $2$-categories with one object are equivalent to monoidal categories. Therefore, I am wondering whether double categories with one object are ...
7
votes
0answers
219 views

Strongly unbiased symmetric monoidal category

Let $\mathcal{C}$ be a category. Define a strongly unbiased symmetric monoidal structure on $\mathcal{C}$ to be a rule which associates to every finite set $I$ a functor $\mathcal{C}^I \to \mathcal{C}$...
7
votes
0answers
89 views

What categorical property do these forgetful functors have in common?

Consider the following examples: The forgetful functor $U_1: \operatorname{Vect}_\mathbb{C} \to \operatorname{Vect}_\mathbb{R}$ The forgetful functor $U_2: \operatorname{Diff}^{\text{or}} \to \...
7
votes
0answers
235 views

Mnemonic device for relationships between Hom and Tensor

Probably this is a stupid question, but nevertheless... Let $A$, $B$, $C$ and $D$ be rings, and $M$, $N$ and $K$ be appropriate bimodules between them. There are extremely well-known canonical ...
6
votes
0answers
110 views

Actions of groups on categories

Let $\Gamma$ be a group and denote by $\underline{\Gamma}$ the tensor category whose objects are simply the group elements, hom-sets only contain identities and the tensor product is given by the ...
6
votes
0answers
90 views

Reconstruction of monoidal categories

Both this post on mathoverflow and this wikipedia page claim that you can reconstruct a monoidal category from its Grothendieck ring and $6j$-symbols (or equivalently the associator). Bruce Westbury ...
6
votes
0answers
91 views

What natural monoidal structure and braiding exists on the category of modules of the convolution algebra of an action groupoid?

Let $S$ be a set with an action $\triangleright$ of a finite group $G$. The action groupoid $S // G$ has as objects the set $S$, and the morphisms from $s_1$ to $s_2$ are just the $g \in G$ that ...
5
votes
0answers
50 views

Intuition of factorization systems' role in the construction of free algebras

Kelly's article uses factorization systems for constructing free monoids. What's the intuitive reading of factorization systems in this case? Also, for example, Barr in this article cites a result by ...
5
votes
0answers
88 views

On group graded algebras and Brauer groups

I was reading the paper "Algebras graded by groups" by Knus. I want to test and further my understanding of the paper by asking several questions. Since the paper is not readily available I will ...
5
votes
0answers
97 views

Tensor of tensored categories

Given two $V$-categories $C$ and $D$ tensored over a symmetric monoidal category $V$, could I form the "tensor" of $C$ and $D$? More precisely, is there a $V$-category $T(C,D)$ such that $V$-functors ...
5
votes
0answers
67 views

Characterization of certain maps in $Hom(A \otimes A^{*}, A \otimes A^{*})$

Let $(M, \otimes, I)$ be a symmetric monoidal category and let $(A, B, \eta, \epsilon)$ be a dual pair in $M$. Consider maps $i_{A}: Hom(A, A) \rightarrow Hom(A \otimes B, A \otimes B)$, $i_{B}: Hom(...
5
votes
0answers
323 views

Generalization of analytic functors

A functor $F\colon \bf Sets\to Sets$ is said to be analytic if it results from the left Kan extension of a functor $f\colon \mathbf{Bij}(\mathbb N)\to \bf Sets$ (the "species" of the functors $F$) ...
4
votes
0answers
69 views

Constructing free monoid from free semigroup

Given a monoidal category $(\mathcal{C}, \otimes, I)$ with coproducts, the free monoid on an object $A \in \mathcal{C}$ is usually constructed by first constructing the free pointed object on $A$, i.e....
4
votes
0answers
113 views

Monads, monoidal categories

I'm interested in learning about monads and their relations to algebraic structures (as a generalization of universal algebra, if I understand well -correct me if not) . In the process of learning ...
4
votes
0answers
135 views

Tannakian categories and differential Galois theory

I was taking a look at a result in Tamás Szamuely's Galois groups and fundamental groups. The following argument can be found right after the proof of lemma 6.6.7. Let $(K,\partial)$ be a ...
4
votes
0answers
217 views

A (higher) categorical approach to representation theory

The representation theories of groups and Hopf algebras are very much alike. Taking the view point that both Hopf algebras and groups are Hopf monoids ("Hopf algebra objects") in their symmetric ...
4
votes
0answers
64 views

When modular tensor categories are equivalent?

I would like to know when we say that two modular tensor categories are equivalent. Is it true that two modular tensor categories are equivalent if they are equivalent as monoidal categories? Or do ...
4
votes
0answers
158 views

Tensoring a connective chain complex with a simplicial set

Let $\mathrm{Ch}_{\geq 0}(R)$ be the category of chain complexes of $R$-modules concentrated in nonnegative degrees, equipped with the projective model structure. By a general theorem about model ...
4
votes
0answers
144 views

Mac Lane's Coherence Theorem: Why not just use the functors themselves?

I have a softball question on Mac Lane's proof. Suppose $B=\left ( B, \square , \alpha ,\rho ,\lambda \right )$ is a monoidal category. Fix $b\in B$. Define $W$, the (monoidal) category of binary ...
4
votes
0answers
300 views

What's the difference between a cartesian monoidal category and a semicartesian monoidal category?

According to ncatlab: In a semicartesian monoidal category, any tensor product of objects $x \otimes y$ comes equipped with morphisms $$ p_x : x \otimes y \to x $$ $$ p_y : x \otimes y \to y$$...
4
votes
0answers
113 views

On the definition of algebra .

Let $\mathscr{C}$ a monoidal category with monoidal product $A\circ B$. Is defined the bicategory of bimodules $Mod(\mathscr{C})$ on $\mathscr{C}$ (see [Gray] p. 46). Its objects are $\mathscr{C}$-...
4
votes
0answers
116 views

Cartesian monoidal functors

Let $\mathcal{C}$ and $\mathcal{D}$ be categories with finite products, and consider them as monoidal categories in the obvious way. Every functor $\mathcal{C} \to \mathcal{D}$ can be canonically ...
3
votes
0answers
53 views

Monoidal categories in which some tensor products of morphisms are equal

I have come across a certain monoidal category $(C,\otimes,I)$ (let us say it is strictly monoidal to simplify the notations, as usual it does not matter very much) which satisfies the following ...
3
votes
0answers
32 views

For symmetric monoidal categories, the monoidal product is a monoidal functor

Has anyone got a reference for the following fact? If $\mathcal X$ is a symmetric monoidal category, then $\_\otimes\_\colon\mathcal X\times\mathcal X \to \mathcal X$ is a strong monoidal functor. ...
3
votes
0answers
31 views

A monoidal category that preserves subobjects

Let $X$, $Y$ be objects in a monoidal category $\mathcal{C}$, s.t. the functors $X \otimes \_$ and $\_\otimes Y$ preserve monomorphisms. Moreover, let $A \hookrightarrow X$, $B \hookrightarrow Y$ be ...
3
votes
0answers
46 views

Notation: why are categories enriched over $\mathcal V$?

In most references about enriched categories, $(\mathcal V, \otimes)$ is supposed to be a monoidal category and then $\mathcal V$-enriched categories are defined. Why is the letter $\mathcal V$ used ...
3
votes
0answers
45 views

Reference request for a “freeness” property of graded monoids

Let $I$ be a monoid and $G$ be an $I$-graded monoid, with multiplication $$ ( - \cdot - ) : G_i \times G_j \to G_{i+j}. $$ I'm interested in the following property of $G$: P: for any two indices $i,...
3
votes
0answers
42 views

Dualizable presheaves with respect to Day convolution

Let $\mathcal{C}$ be a closed symmetric monoidal category and let $PSh(\mathcal{C}):=Fun(\mathcal{C}^{op}, Set)$ its category of presheaves regarded as a closed symmetric monoidal category via Day ...
3
votes
0answers
49 views

When is a monoidal structure on $\mathrm{Mod}_A$ induced by a bialgebra structure on $A$?

Fix a field $k$, and let $A$ be a (commutative, coassociative, counital) $k$-bialgebra. Write $\otimes = \otimes_k$. The category $\mathrm{Mod}_A$ of $A$-modules admits the structure of a monoidal ...
3
votes
0answers
43 views

Monoidal Equivalence: Two Definitions

One has the definition of a monoidal equivalence as in definition 12 of Baez's Some Definitions Everyone Should Know. I have also seen monoidal equivalence defined as a monoidal functor between ...
3
votes
0answers
72 views

Understanding The Equations Behind Dual Objects In Monoidal Categories

I think about the identities in monoidal categories $C$ (triangle and pentagon) the following way: Let $\Sigma=(\otimes,1)$ denote the monoid signature, $T(\Sigma,C_0)$ the set of terms over $\Sigma$ ...
3
votes
0answers
68 views

On root vectors

I don't fully understand the definition of root vectors in the construction of the so called Andruskiewitsch-Schneider Hopf-algebras. See for example section 2 of the paper 'On the Classification of ...
3
votes
0answers
46 views

Published reference for the term “unitor” of monoidal categories

I am writing a report about monoidal categories which in particular contains a definition of monoidal categories and thus the term "unitor" for the natural isomorphisms $I \otimes X \cong X$ and $X \...
3
votes
0answers
52 views

Does Projectiveness always imply flatness?

I know that a project module is always flat, deduced form the properties and abundance of free modules. I'm trying to figure out how essential role the free modules play in this result. So I'd like to ...
3
votes
0answers
62 views

How to calculate braiding eigenvalues in a fusion category?

Statements like this are found in published articles: The context: Assume $\mathcal{C}$ is a complex fusion category (i.e. complex linear, finitely semisimple, monoidal, with duals, with simple ...
3
votes
0answers
94 views

Reference for closed categories and monoidal categories

I'm looking for a book that: Defines closed categories separately from monoidal categories, and then proves in detail that the structure induced by a left adjoint to the internal hom is closed ...
3
votes
0answers
62 views

What are coquantales?

A quantale can be defined as a monoid in the monoidal category $\mathbf{Sup}$ of complete join semilattices, equipped with tensor product. What are examples of non-diagonal comonoids in $\mathbf{Sup}...
3
votes
0answers
126 views

Natural transformation defined by one element

Let $C$ be a self-enriched category, a CCC, and $F : C \to C$ an endofunctor with strength, that is, $F$ comes with a natural transformation $$st_{A,B} : A \times F B \to F (A \times B)$$ such that ...
2
votes
0answers
40 views

If matching maps of a cosimplicial space are fibrations up to degree $n$, does the $n$-th partial totalization have the 'correct' homotopy type?

Let $X$ be a cosimplicial space and suppose that: the matching maps $$ s:X^{k}\rightarrow M^{k-1}X $$ are fibrations for all $k\leq n$. On one hand we can form the partial totalization $Tot_n(...
2
votes
0answers
40 views

Examples of weak monoidal Quillen equivalences

Schwede-Shipley introduced the notion of weak monoidal Quillen equivalences between monoidal model categories in "Equivalences of monoidal model categories". Are there any examples of such Quillen ...
2
votes
0answers
60 views

Adjunction of functors between monoidal categories induces adjunction between their categories of internal monoids

Here's a similar question, but I'm not sure if what I'll ask is already answered there. Let $(C,\odot), (D,\square)$ be monoidal categories. If $F \colon D \to C$ is left adjoint to $U \colon C \to D$...
2
votes
0answers
19 views

Tensoring of the identity morphism of the monoidal unit

This is a rather elementary question about strict monoidal categories. Let $C$ be a monoidal category, $I \xrightarrow{id_I} I$ be the identity morphism of the unit object. How do I show that for any ...
2
votes
0answers
48 views

Free monoidal category over a set II

In a previous question, a description of the free monoidal category over a set was given. Basically, it consists of formal expressions as objects and morphisms generated by associators and unitors, ...
2
votes
0answers
88 views

How to represent convolution matrix as a string diagram?

I'm trying to represent common machine learning/deep learning concepts and operations in the form of string diagrams. The many categorical quantum mechanics papers by Coecke et al have given me a good ...
2
votes
0answers
83 views

Monoidal equivalence is: A monoidal functor that is also an equivalence of categories

Let $(\mathcal C, \otimes, I)$ and $(\mathcal D, \otimes', I')$ be two monoidal categories. And let $(F,\phi, \psi)$ and $(G,\phi', \psi')$ be a monoidal functors from $\mathcal C$ to $\mathcal D$. ...
2
votes
0answers
39 views

Uniqueness of quantizations

When studying quantum groups, in particular quantized universal enveloping algebras, people will tell you that such a quantization is in some sense unique. More specifically, you might hear that a ...
2
votes
0answers
141 views

Right exactness of the tensor product

Assume $(C,\otimes,e)$ to be a strict abelian tensor category with additive tensor functor and $A$ an algebra object in $C$. Then we're able to define the category of $A$-right modules $C_A$ and the ...
2
votes
0answers
28 views

The antipode of a braided group

Consider a coquasitriangular Hopf-algebra $(H,\mu,\eta,\Delta,\epsilon, S;r)$ over a field $\mathbb F$ with characteristic zero and the braided monoidal category $\mathcal M^H$ of $H$-right-comodules. ...