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

learn more… | top users | synonyms

3
votes
1answer
59 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$, ...
2
votes
1answer
88 views

Showing $\lambda_1=\rho_1$ in monoidal category

For a monoidal category $\mathcal{C}$ with $\alpha_{a,b,c}: a \otimes (b \otimes c) \rightarrow (a \otimes b) \otimes c$, $\rho_a : a \otimes 1 \rightarrow a$, and $\lambda_a: 1 \otimes a ...
2
votes
1answer
100 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 ...
1
vote
1answer
86 views

Mac Lane‘s proof of coherence theorem for symmetric monoidal categories.

In [CWM, Ch. XI, §1], Mac Lane prove the coherence theorem for symmetric monoidal categories by assuming the strictness. Thus we have a $n-$ary tensor functor $T$, and the theorem states that any two ...
0
votes
1answer
61 views

References about “algebras over monoids”

Please, could someone point me any reference (with a bit of details) about "algebras over monoids" (in the sense of Schwede & Shipley, Algebras and modules in monoidal model categories)? Thank you ...
15
votes
0answers
162 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
135 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 ...
7
votes
0answers
52 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
167 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
69 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
194 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
74 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
69 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 ...
4
votes
0answers
97 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 ...
3
votes
0answers
41 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 ...
3
votes
0answers
52 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}: ...
3
votes
0answers
81 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 ...
3
votes
0answers
73 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 ...
2
votes
0answers
54 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
33 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
50 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
143 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
89 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
22 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
28 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
64 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
24 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
39 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
78 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 ...
1
vote
0answers
45 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
130 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
17 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 ...
0
votes
0answers
33 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
31 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
39 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
50 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." ...
0
votes
0answers
119 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 ...