# Tagged Questions

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

17 views

### Can tensor abelian categories always be embedded into the category of modules?

Let $(\mathcal A, +,\otimes,I)$ a small symmetric monoidal abelian category. I know that $\mathcal A$ can be embedded into the category of $R$-module for a certain ring $R$. But can we make such ...
15 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 ...
53 views

### A question about monoidal categories

I am learning about monoidal categories and I am a bit confused about the following: Suppose $(A,\otimes,I)$ is a monoidal category. What can be said about the opposite $A^{\text{op}}$? Is it ...
25 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 ...
25 views

### Three different definitions of Modular Tensor Categories

I have found three different definitions of Modular Tensor Categories. I want to know if anybody can give a sketch of proof for their equivalences (some parts are easy of course) A Modular Tensor ...
61 views

### Uniqueness of Dual Objects in Monoidal Categories

I trying to understand the proof of Proposition 2.10.5 from the book: TENSOR CATEGORIES, by P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, See http://www-math.mit.edu/~etingof/egnobookfinal.pdf. ...
68 views

### When an equivalence is a monoidal equivalence?

I want to understand the followings from "Tensor Categories" by Etingof, Gelaki, Nikshych, and Ostrik. Remark 1.5.3 It is easy to show that if $F: C \to C'$ is an equivalence of monoidal ...
84 views

25 views

### Left and right endomorphisms in monoidal categories

Let consider a monoidal category $\mathscr C, \otimes$ with unit $I$ and unitors $\lambda_X:I\otimes X\to X$ and $\varrho_X:X\otimes I\to X$. Each endomorphism of the unit $a:I\to I$ induces, on each ...
47 views

### Coherence diagrams for monoidal categories which have underlying sets are “automatically” natural?

I am just getting into monoidal categories, and first I am verifying at $FdVect$ is one, the monoidal operation being the usual vector-space tensor product. (Which I also just learned, so I may be ...
40 views

### Free monoidal category over a set

From nLab's article on coherence theorems, there seems to be a notion of free monoidal category over a set $S$. I guess this corresponds to the left adjoint to the functor $Ob : MonCat \to Set$ which ...
60 views

### Why are invertible objects reflexive in a tensor category?

I am reading Deligne and Milne's notes on Tannakian categories. I'm only just getting used to the idea of an abstract tensor category, and I've encountered a very believable statement that I'm ...
75 views

### Extended Topological Quantum Field Theory, (ETQFT) basics ..

What is the functorial (categorical) definition of a TQFT (Topological Quantum Field Theory), which Jacob Lurie "had extended", for his ETQFT ? Actually I just need to know what are basic tools, to ...
119 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}$...
46 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 ...
47 views

### Category of finitely presented $R$-algebras cartesian closed?

On page 26 of these notes, in the paragraph between formulas $(63)$ and $(64)$, the author says the category of finitely presented $R$-algebras is cartesian closed. I thought this category was ...
30 views

### Modular tensor category and the pivotal or shperical condition

I have two related questions: 1) Is a modular tensor category always pivotal? 2) Is a modular tensor category always spherical?
60 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 ...
170 views

### Day convolution intuition

In the nLab, Day convolution is introduced as a generalisation of convolution of complex-valued functions, but I'm wondering how exactly to understand this. I can (just about) parse the definitions, ...
30 views

### Is the braid category biclosed and bicomplete?

Let $\mathcal{B}$ be the braid category, as in Categories for the Working Mathematician §XI.4 p.262 (objects are natural numbers and morphisms are the braids $n\to n$). Then this can be given a ...
67 views

### Recovering $\mathsf{Ab}$ from $\mathbb{Z}$-mod in a closed symmetric monoidal category

Given the usual definition of a module over a ring it is trivial to show that a $\mathbb{Z}$-module is an abelian group (it is just by definition). But my question concerns recovering this idea in a ...
60 views

### In what sense right dual and braiding structure respect the tensor product structure in a monoidal category?

Throughout let $(\mathscr{C}, \otimes, \mathbf{1})$ be a monoidal category (I suppressed unitors and associators for simplicity). The usual definition a rigid monoidal category is done in two steps: ...
80 views

### Categorification of algebra structures

This might be a bit of a soft question. Take a $\mathbb{C}$-linear category. Form the complex vector space spanned by its objecs modulo exact sequences. This construction is, as far as I know, the ...
70 views

### What is a morphism of Tannakian categories?

In this question, a Tannakian category over $k$ is a $k$-linear rigid symmetric monoidal tensor category, with the property that it has a fibre functor to $\mathbf{Vect}_\ell$ for some field extension ...
72 views

### initial algebra and free monoid

I am missing something to prove that the initial algebra $A^*=\mu x. Fx$ of the functor $FX=I+A \otimes X$ is the free monoid in a monoidal category. Here's one start Summing up I can build 2 ...
39 views

41 views

### When a monoidal category is equivalent to its center

The notion of the center of a monoidal category categorifies that of the center of a monoid. Similarly, the notion of a braided monoidal category is a categorification of that of a commutative monoid. ...
14 views

### When is the tensor unit a generator?

Let $\mathcal{C}$ be a monoidal category with the tensor unit $I$. Then there is a "forgetful" functor from it to $Sets$: $$\mathrm{Hom}(I,-).$$ But in general, this ...
35 views

### Free commutative ring functor

The free commutative ring on a set $X$ is the polynomial ring with variables the elements of $X$. This polynomial ring is the free (additive) abelian group on the free (multiplicative) abelian monoid ...
126 views

52 views

### Spelling out uniqueness in a rigid category

As has been discussed in other posts, the dual of an object in a rigid category is unique up to unique isomorphism. As highlighted here, this does not mean that, for any two duals $(X^*,\epsilon,\nu)$ ...
80 views

### Looking for intuition and/or insight regarding the “into-internalization principle” in category theory.

Observation 0. Suppose $I$ is a set. Then the category $\mathbf{Set}^I$ can be explicitly described as the category whose objects are as follows: an object is a set $S$ equipped with a function I \...
32 views

### A monoidal functor of rigid monoidal categories is an isomorphism

Let $C$ and $D$ be rigid monoidal categories and let $F_1, F_2: C\to D$ be monoidal functors. Then I want to show that if $\eta: F_1 \to F_2$ is a natural transformation, then $\eta$ is an ...
46 views

### Is every equivalence of monoidal categories a monoidal equivalence?

Let $C$ and $D$ be monoidal categories. Let $T:C \to D$ be a functor that gives the equivalence of $C$ and $D$ as just categories. My question is whether such an equivalence $T$ is always a monoidal ...
81 views

### Initial strict monoidal category

nlab provides a universal property of the cube category $\Box$. Definition. The cube category is the initial strict monoidal category $(M,\otimes,I)$ equipped with an object $int$ together with ...