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

2
votes
1answer
64 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, ...
1
vote
1answer
39 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 ...
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$, ...
4
votes
1answer
65 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 ...
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
1answer
73 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 ...
0
votes
0answers
37 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 ...
4
votes
1answer
65 views

Iterated Coproduct in a Monoidal Category; finding the unit of a monoid.

Suppose $B$ is a monoidal category and further that the functors $-\bigotimes a:B\rightarrow B$ and $a\bigotimes -:B\rightarrow B$ preserve coproducts. The we have $\theta :\coprod _{b} a\bigotimes ...
3
votes
2answers
62 views

Proving associativity in monoidal category: Free Monoid construction.

I am filling in the details of Mac Lane's proof of the following: If monoidal category $B$ has countable coproducts, and if the functors $-\square a$ and $a\square -$ preserve them, then the evident ...
4
votes
0answers
69 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 ...
3
votes
1answer
71 views

Natural transformations and the definition of Monoidal lax functors

The definition of a lax monoidal functor requires the existence of a natural transformation, $\phi$ http://en.wikipedia.org/wiki/Monoidal_functor. A natural transformation relates at least 2 ...
5
votes
1answer
70 views

Categorical Banach space theory

Consider the category $\mathsf{NormVect}_1$ of normed vector spaces with short linear maps$^{\dagger}$ and the full subcategory $\mathsf{Ban}_1$ of Banach spaces with short linear maps. Both ...
0
votes
1answer
68 views

every category is equivalent to its universal cover

I am just curious how could we show that every category is equivalent to its universal cover. To me, it is not obvious how could we assign to each an object in a category $\mathcal{C}$ to a family of ...
2
votes
1answer
34 views

Coherence result for (braided) monoidal functors

Is there any coherence result for (braided) monoidal functors? (like Mac Lane's coherence theorem for monoidal categories) What I have in mind is a theorem like the following: "Let F be a (braided) ...
0
votes
1answer
74 views

About the definition of Day's convolution

I'm struggling with the definition of Day's convolution. Given a monoidal category $(\mathcal C,\otimes, I)$, there is a way to define a monoidal product on the category of presheaves ...
1
vote
1answer
17 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 ...
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 ...
2
votes
0answers
47 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
1answer
63 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 ...
3
votes
1answer
35 views

Universality of tensor product from monoidal structure

As a follow-up to this previous question of mine, I'm trying to understand how to obtain tensor products from internal homs. I'm having a lot of difficulties and have found myself stuck already in ...
9
votes
2answers
199 views

Tensor products from internal hom?

Monoidal categories come with tensor products, and sometimes, these categories are biclosed, i.e each restriction of the tensor bifunctor has a right adjoint. If the category happens to be symmetric, ...
4
votes
1answer
32 views

Are units in rigid (autonomous) categories some sort of natural transformation?

In a rigid category $\mathcal{C}$, let us choose left and right duals and left and right (co)units for every object. This gives us, for example, a dualisation functor $-^*:\mathcal{C} \to ...
3
votes
0answers
39 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 ...
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 ...
2
votes
1answer
86 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 ...
1
vote
1answer
30 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?
0
votes
1answer
62 views

Monoidal categories in which $\mathrm{Aut}(X \otimes Y) \cong \mathrm{Aut}(X) \sqcup \mathrm{Aut}(Y).$

I'm looking for examples of monoidal categories $\mathbf{C}$ such that one of the following two statements holds. For all objects $X$ and $Y$ of $\mathbf{C},$ $\mathrm{Aut}(X \otimes Y) \cong ...
12
votes
0answers
132 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 ...
2
votes
1answer
99 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 ...
3
votes
1answer
47 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 ...
1
vote
1answer
74 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 ...
4
votes
0answers
58 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 ...
2
votes
1answer
64 views

Connections of Finite groups and quantum groups

I'm a master's student waiting to start my phd in quantum groups and their represenation theory in march 2015. I love representation theory $\textit{per se}$, and looking for references on this work I ...
1
vote
1answer
39 views

Monoidal categories and Generators

Let $\mathcal{C}$ be a Cocomplete Cowellpowered Monoidal category. Does $\mathcal{C}$ need to have a generator? I think it does not, but it seems hard to get a counter example.
1
vote
0answers
61 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
1answer
68 views

Coherence in braided monoidal categories

Let ($\mathcal{C}$,c) be a braided monoidal (tensor) category. Then c is compatible with the morphisms l,r associated with the unit object 1 of $\mathcal{C}$, in the sense that: $l_X \circ ...
1
vote
0answers
23 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
1answer
64 views

Why are duals in a rigid/autonomous category unique up to unique isomorphism?

I'm having trouble understanding the following statement: "In a rigid category, duals are unique up to unique isomorphism." It seems to me that this isomorphism is not unique. Let me try to give a ...
2
votes
1answer
190 views

Monoidal product is coproduct in category of commutative monoids

If $V$ is a symmetric monoidal category, the category $\text{CMon}(V)$ of commutative monoids in $V$ has binary coproducts given by $\otimes$, the monoidal product of $V$. See for example Johnstone’s ...
3
votes
1answer
135 views

Natural Isomorphism: how can $A \otimes B \simeq B \otimes A $ and yet $A \otimes B \neq B \otimes A $

I am reading Braided Monoidal Categories by Joyal and Street. They say cateogories with tensor product arise naturally such as the category of Abelian Groups and that of Banach Spaces. Is there any ...
3
votes
1answer
68 views

Defining a monoidal category without elements

I am trying to generalize the notion of monoid object internal to a (not necessarily strict) monoidal category, by weakening the associativity and unitarity diagrams (see this nlab entry.) Of course ...
1
vote
1answer
61 views

Rig categories concept which is equivalent to monoid concept in monoidal categories

In monoidal categories, there is a notion of monoid. Is there an "equivalent" concept in rig categories (i.e., categories with two monoidal structures which are related like + and * in a rig)?
14
votes
0answers
159 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 ...
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." ...
1
vote
1answer
86 views

Underlying functor of tensor product in a closed and symmetric monoidal category.

I will follow, for terminology and notation, G. M. Kelly, Basic Concepts of Enriched Category Theory. For sake of a self-contained exposition, I will try to write here all the needed concepts. Let ...
1
vote
1answer
52 views

Why is a braided left autonomous category also right autonomous?

In Selinger, P. A survey of graphical languages for monoidal categories (New Structures for Physics, Springer, 2011, 813, 289-233), it is stated that: Lemma 4.17 ([23, Prop. 7.2]). A braided ...
4
votes
0answers
86 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 ...
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 ...
6
votes
1answer
178 views

What is the “opposite” of a forgetful functor?

Consider a category $C$ and a monoid $M$. Consider a functor $F:C\to M$. It maps the objects of $C$ into the only object of $M$. But I don't want it to map every morphism of $C$ into the identity on ...
5
votes
2answers
175 views

Relations between monoids and modules?

What is the relation between monoids and modules? Are they completely different algebraic structures, or is there a kind of inclusion relation like "elements of a module are also elements of a ...