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

1answer
48 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 ...
1answer
21 views

### All Ideals are Radical in Rigid Categories

I am reading Balmer's paper "Spectra, Spectra, Spectra" regarding the spectrum of tensor-triangulated categories. I think I am missing something obvious when he states that all ideals are radical as ...
1answer
82 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 ...
1answer
40 views

0answers
65 views

### The category of elements, enrichment, and weighted limits

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 about the Grothendieck construction, and I ...
1answer
67 views

### What is an object with finite length in a tensor category?

I read the definition of a tensor category: A tensor category is a rigid abelian monoidal category in which the object 1 is simple and all objects have finite length. This definition is in "Lectures ...
1answer
62 views

### Algebras for monads in Cat and 2-categories

An algebra for a monad $(T, \mu, \eta)$ on a category $\mathbb{C}$ is defined as a morphism $T X \to X$ for some object $X$ such that the obvious diagrams commute. If I look at the monad as a monoid ...
0answers
39 views

### Composition of Dual Maps in (rigid) Monoidal Categories

If $X, Y$ are objects in monoidal category $\mathcal{C}$ which have left duals $X^∗, Y^∗$ and $f : X → Y$ is a morphism in $\mathcal{C}$, then the left dual map $f^∗ : Y^∗ → X^∗$ of $f$ is given by: ...
0answers
23 views

### Is the category of H-bicomodules within the monoidal category of H-bimodules equivalent to the category of left H-comodules

Fix $\mathbb{k}$ a field. Let $H$ be a $\mathbb{k}$-quasi-bialgebra. Is there an equivalence ${}_H^H \mathcal{M}_H^H \cong {}^H \mathcal{M}$ where ${}_H^H \mathcal{M}_H^H$ is the category of $H$-...
0answers
36 views

### Categorical terminology

For any monoidal category $(\mathscr{C},\otimes,I)$ with objects $A,B,...$: Does the monoidal product $\otimes$ always have the property: $A \otimes A \rightarrow A, B \otimes B \rightarrow B,...$ ? ...
1answer
63 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. ...
0answers
83 views

### How to compute (co)limits of enriched categories?

Let $\mathscr{V}$ be a monoidal category. Let $\mathbf{Cat}_{\mathscr{V}}$ be the category of (small) categories. I would like to know how to compute (co)limits in $\mathbf{Cat}_{\mathscr{V}}$. This ...
1answer
86 views

### The algebra of natural transformations of the n-th power tensor functor

Let $k$ be a $0$ characteristic field, $n$ an positive integer and $S_n$ the $n$-th symmetric group. Let's work in the symmetric monoidal category of $k$-vector spaces and linear maps that we denote ...
0answers
44 views

### Conjecture concerning involutions in a unitary braided fusion category/Grothendieck ring

Despite the categorical setup, a solution to this question may require no categorical tools (see Conjecture 2). Let $\mathcal C$ be a unitary braided fusion category, $I$ be its set of isomorphism ...
0answers
33 views

1answer
471 views

### Grothendieck's yoga of six operations - in relatively basic terms?

I'm reading about the basic interactions between sheaves over topological spaces and arrows in $\mathsf{Top}$, in particular, about the inverse/direct image functors $f^\ast \dashv f_\ast$, the proper ...
1answer
162 views

### Going from Closed Categories to Monoidal Categories

EDIT: I trimmed down the exposition a bit. I really just wanted everyone to know what my approach has been, but what I had was a bit bloated. Suppose we have a closed category $V$ as defined here, ...
1answer
56 views

### Is Module Category over Monoidal category Monoidal?

let $\mathcal{C}$ be a monoidal category and $\mathcal{M}$ a $\mathcal{C}$-module category. Does $\mathcal{M}$ need to be a monidal category? I know it is true for certain categories, but is it true ...
1answer
70 views

### Universality of the Simplex Category. Proving Functoriality of the Map.

Let $B$ be a strict monoidal category, and $\left \langle c,\mu ',\eta ' \right \rangle$ a monoid in $B$. Now suppose we consider the simplex category $\left \langle \triangle ,+,0 \right \rangle$, ...
1answer
77 views

### Associative Law for a Monoid in a Monoidal Category.

Let $B$ be a monoidal category, and $c$ a monoid in $B$. Powers of $c$ are defined by taking $c^{n}$ to be the $\otimes$-string of length $n$ of $c$ in which the parentheses are all in front. We ...
0answers
40 views

### Representation of functions in the simplex category

I am using the following characterization of the simplex category $\Delta$: The objects are finite ordinals and the arrows are weakly monotone functions $f:n\rightarrow m$. $0$ is initial and $1$ is ...
1answer
104 views

### Proving that a category is cartesian closed

Let $Alg(1)$ be a category whose objects are sets with a unary operation, with no axioms. Morphisms of the category are functions of sets which preserve the operation. I need to show that this ...
0answers
45 views

### In a closed monoidal category, is $[-,-]$ always a bifunctor?

We say a monoidal category $\mathcal V=(\mathcal V_0,\otimes,I,a,l,r)$ is closed if the endofunctor $-⊗Y$ has a right adjoint $[Y,-]$, called the exponential, for every $Y$. The object $[Y,Z]$ for ...
1answer
72 views

1answer
24 views

### Does “modular category” make sense without saying “abelian” or “linear”?

I know the term "modular category" only from representations of quantum groups, TQFTs and fusion (finitely semisimple linear) categories. There, a modular category is a ribbon fusion category where a ...
0answers
82 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 ...
0answers
56 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 ...
1answer
81 views

### The internal hom in $\mathsf{Ch}_\bullet(\mathsf{Ab})$ as a coproduct?

The internal hom in $\mathsf{Ch}_\bullet(\mathsf{Ab})$ is defined grading-wise by $$(A\Rightarrow B)_n=\prod_{i\in \mathbb Z} \text{Hom}_R(A_i, B_{i+n})$$ Intuitively, I would have defined the ...
1answer
39 views

0answers
45 views

1answer
40 views

### Is there a special name or any research on Cartesian compact closed categories?

As per the title. I can't find anything about the combination of the two, and such categories interest me. Does anyone know of any such categories?
1answer
66 views

1answer
108 views

### Tannaka reconstruction: reference request

What is a classical and perhaps even original reference for the following result, often called Tannaka reconstruction? Let $G$ be a group and $R$ be a commutative ring in which $0,1$ are the only ...
1answer
83 views

### Uniqueness of Duals in a Monoidal Category

Given a monoidal category ${\cal C}$, and $X \in {\cal C}$, we define a left dual of $X$ to be an object $X^*$ such that there exist morphisms $\epsilon:X^* \otimes X \to I$, and \$\eta:I \to X \otimes ...