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

learn more… | top users | synonyms

18
votes
0answers
204 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 ...
12
votes
0answers
155 views

How to name these “ideals”?

Background. Let $\mathcal{C}$ be a symmetric monoidal category with unit $\mathbf{1}$. A subobject of $\mathbf{1}$ is just a monomorphism $I \to \mathbf{1}$. We may also call this an ideal of $\mathbf{...
7
votes
0answers
61 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 \...
6
votes
0answers
120 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}$...
6
votes
0answers
192 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 ...
5
votes
0answers
48 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
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 ...
5
votes
0answers
239 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
47 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
61 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
103 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
98 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
132 views

Logic in closed symmetric monoidal categories; reference request.

Suppose we want an algebraic theory $T$ to be interpretable in any closed symmetric monoidal category $\mathbf{C}.$ I am thinking in particular of the case where $\mathbf{C}$ is the category of models ...
4
votes
0answers
55 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(...
4
votes
0answers
83 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
38 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
45 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
97 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
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 ...
2
votes
0answers
57 views

If two categories are equivalent and the one is monoidal, is the other monoidal too?

Pretty much what I ask in the title. Let $\mathcal{C},\mathcal{D}$ be two categories and suppose there exists a fully faithful, surjective-on-objects functor $F:\mathcal{C}\to\mathcal{D}$ (so that $\...
2
votes
0answers
71 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 ...
2
votes
0answers
56 views

Connecting physical tensors to mathematical tensors

I feel like I (maybe) understand the mathematical /algebraic perspective on tensors, for example as described in Wikipedia/Monoidal Category. You need a (simultaneously left & right) unit and an ...
2
votes
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 ...
2
votes
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 ...
2
votes
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 ...
2
votes
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 ...
2
votes
0answers
195 views

Every monoidal category is strictly equivalent to a strict monoidal category.

I am reading Joyal and Street's article "braided tensor categories". The following theorem is proved (Theorem 1.2). Let $ C $ be a category. Let $FC$ and $F_sC$ be respectively the free monoidal ...
2
votes
0answers
81 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}$-...
2
votes
0answers
95 views

Thompson's group F and monoidal categories

Fiore and Leinster have proved that if $\mathcal{A}$ is a free monoidal category generated by one object $A$ such that there exists an isomorphism $\alpha: A \otimes A \to A$, then for every object $X ...
1
vote
0answers
31 views

Functor between Category and its Free Strict Monoidal Category

Let $C$ be a category and let $\sum(C)$ denote the free strict monoidal category over $C$. According to Wikipedia, the operation $\sum: C\rightarrow\sum(C)$ extends to a 2-monad on $Cat$. Can someone ...
1
vote
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: ...
1
vote
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 ...
1
vote
0answers
71 views

Taking the quotient of a free monoidal category modulo a relation

I have recently been advised, in a particular example which is described below, that taking quotients of a category can be complicated, but I don't see where exactly lies the difficulty. More ...
1
vote
0answers
27 views

Symmetries and internal hom in monoidal categories

I need some help in trying to define an object. Suppose we have a biclosed monoidal category (possibly non-symmetric) and two natural isomorphisms: $B \otimes - \simeq - \otimes B, \ \ C \otimes - \...
1
vote
0answers
46 views

Coherence theorem for symmetric monoidal categories

What's the formal statement for the coherence theorem for symmetric monoidal categories? I've seen there's some notion of permutation around, but I can't get my head around the thing that "all ...
1
vote
0answers
49 views

Recovering Ordered Monoid Operation from the Order

I have a partially ordered set $(X, \preceq)$ with the following properties: $X$ has a minimum. I'll name it $1$. For every $x \in X$, the principal filter ${\uparrow} x$ is order isomorphic to $X$. ...
1
vote
0answers
123 views

Nonsymmetric monoidal product on $[\mathbb N,\mathbf{Sets}]$

Let $\mathbf P$ be the category with objects the natural numbers and $\hom(m,n)=Sym(n)$ if $n=m$, and the empty set otherwise. It is symmetric monoidal wrt the sum of natural numbers, and has $0$ as a ...
1
vote
0answers
50 views

Do we need braiding to define a monoid structure on product of monoids?

Let $(\mathcal{C}, \otimes, I)$ be a monoidal, symmetric category. It is well-known that in this case, if $M_{1}, M_{2}$ are monoids, there is a natural monoid structure on $M_{1} \otimes M_{1}$. The ...
1
vote
0answers
140 views

Left-modules over a bialgebra form a monoidal category

Let $B = (B, \nabla, \eta, \Delta, \epsilon )$ be a bialgebra over a commutative ring $k$. Let $M$ and $N$ be two left $B$-modules. Then the tensor product $M \otimes_k N$ becomes a left $B$-module ...
0
votes
0answers
31 views

Balanced Tensor Product of Module Categories

Let $C$ be a $k$-linear ($Vect_k$-enriched) monoidal category and consider the 2-category $Mod_{C}$ of $k$-linear $(C,C)$-bimodule categories in the sense of Ostrik (https://arxiv.org/abs/math/0111139....
0
votes
0answers
44 views

How to call a “non-strict” monoidal category?

A monoidal category is a category $\mathsf{C}$ equipped with a bifunctor $\otimes : \mathsf{C} \times \mathsf{C} \to \mathsf{C}$, a unit object, an associator, and right and left unitors satisfying a ...
0
votes
0answers
27 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 ...
0
votes
0answers
15 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$: \begin{equation} \mathrm{Hom}(I,-). \end{equation} But in general, this ...
0
votes
0answers
17 views

Tortile Yang-Baxter operators and Tortile Monoidal Categories

I am trying to understand Proposition 1 of the paper "Tortile Yang-Baxter operators in tensor categories" (By André Joyal & Ross Street), but I did not understand the second line of the proof. In ...
0
votes
0answers
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 ...
0
votes
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$-...
0
votes
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,...$ ? ...
0
votes
0answers
33 views

Name (reference?) for lax monoidal functors that are 'full, or surjective, on monoids'?

A lax monoidal functor $F$ takes monoids to monoids. Is there a name for a lax monoidal functor that is 'full' or surjective with respect to this property? In other words, the functor $F : \mathcal{C} ...
0
votes
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 ...
0
votes
0answers
66 views

Tensor structure on the category of algebras for a strong monad

Proposition 1.4 in "Monads on tensor categories" by I. Moerdijk says: "If $S$ is a Hopf monad on a tensor category $\mathcal{C}$, then the category of $S$-algebras is again a tensor category." ...