1
vote
1answer
106 views

Are tensor products of vector bundles “well-behaved”?

Do the "nice" properties of the tensor product of vector spaces always extend to tensor products of vector bundles? I'm working through Milnor-Stasheff and recently had to prove that the tensor ...
0
votes
0answers
74 views

Tensor product of arbitrary categories

I would like to consider a definition of tensor product in the category of (small, finite, whatever is needed) categories, analogous to the tensor product of vector spaces. I will first rewrite ...
1
vote
0answers
43 views

Relative topological tensor product

I know that for a pair of topological rings $R$ and $R'$ (perhaps with some additional topological/functional-analytic hypothesis on them?) there exist two topological tensor produts, the injective ...
2
votes
1answer
46 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
121 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 ...
2
votes
0answers
61 views

Algeraic theory and definition of multiplication: tensor product v.s. Cartesian product

In a monoidal category, one can define multiplication on a object $M$ as a morphism \begin{equation} M\otimes M\longrightarrow M, \end{equation} or a morphism \begin{equation} M\times ...
0
votes
1answer
54 views

Tensor Algebra = Universal Property of FORGETFUL FUNCTOR?

Hi there in wiki the tensor algebra is defined w.r.t. the adjoint of the forgetful functor rather than the forgetful functor itself - why so? Besides, does the existence of such algebras for every ...
0
votes
1answer
47 views

Characteristic Property = Universal Property?

Problem They seem to be the same -almost! But are they really or is it just unlucky accident that they look so similar however describe totally different notions? Example I was trying to set the ...
-2
votes
1answer
55 views

Is it true to say that every tensor is an element of a monoid?

If we consider that: by definition, a tensor is an element of the tensor product of two algebraic structures the most abstract algrebraic structure on which the tensor product is defined are ...
2
votes
1answer
29 views

Adjoints to cofree modules tensor?

If $M$ is a cofree $R$-module and $A,B$ are arbitrary $R$-modules then, is there a left adjoint to the functor $M\otimes_R -$, i.e. is there an endofunctor $F$ on $_R \mathrm{Mod}$ such that ...
1
vote
0answers
18 views

How to define the tensor product via an initial morphism? [duplicate]

I am just getting to know some category theory. My understanding of the "universal property" (based on this Wikipedia article) is that it is characterized in terms of an "initial morphism" or ...
5
votes
1answer
66 views

Monoidal categories and tensor products

Does the multiplication $-\square-$ biendofunctor in a Monoidal category, $\mathfrak{C}$ necessarily commute with coproducts? This is true in some familiar categories, such as $_RMod$, $Grp$ $CRings$ ...
2
votes
3answers
93 views

$0$-th exterior power, empty product of modules and their tensor product

$\def\finiteprod#1#2{#1_{1}\times#1_{2}\times\dots\times#1_{#2}}$In Lang's algebra he defines the tensor product as a universal object in the category of multilinear maps from $\finiteprod En$ where ...
3
votes
1answer
92 views

$(\beta_1 \otimes \beta_2)(\alpha_1 \otimes \alpha_2)=(\beta_1 \alpha_1)\otimes(\beta_2 \alpha_2)$

Let $V_1, V_2, W_1, W_2, U_1, U_2 \in$ K-Vect, $V_1 \xrightarrow{\;\; \alpha_1 \;\; }W_1 \xrightarrow{\;\; \beta_1 \;\; }U_1, V_2 \xrightarrow{\;\; \alpha_2 \;\; }W_2 \xrightarrow{\;\; \beta_2 \;\; ...
7
votes
1answer
148 views

Understanding the right-exactness of the tensor product using *only* its universal property and the Yoneda lemma

I would like to get an intuition for why $(-)\otimes N$ is right-exact using its universal property involving bilinear maps, not by appealing to higher-level observations such as "left-adjoints ...
0
votes
2answers
54 views

Do $\operatorname{Hom}( - , R)$ and $ - \otimes_R B$ commute when applied to $A\cong R^d?$

Let $R$ be a commutative ring with identity. Let $A$ and $B$ are $R$-modules, and further suppose that $A$ is free with finite rank. Is it true that $$ \operatorname{Hom} (A \otimes_R B , R) \cong ...
4
votes
1answer
161 views

Could I see that the tensor product is right-exact using its universal property and the Yoneda lemma?

I have been doing some review with the goal of trying to understand as much as I can via universal properties and category theory (already feeling comfortable with the mundane way of doing things). ...
2
votes
1answer
143 views

“Tensor product” $\otimes$ of monoids

Referring to the top answer in this post: http://mathoverflow.net/questions/19004/is-the-category-commutative-monoids-cartesian-closed Would it be reasonable to explain what is a tensor product in ...
6
votes
0answers
143 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 ...
8
votes
2answers
301 views

Tensor product of monoids and arbitrary algebraic structures

Let $C$ be the category of algebraic structures of a certain type and let us denote by $|~|$ the underlying functor $C \to \mathsf{Set}$. For $M,N \in C$ we have a functor $\mathrm{BiHom}(M,N;-) : C ...
2
votes
2answers
118 views

Which graph products are categorical products?

There is a whole bunch of definitions of graph products, but only one of them - the tensor product - is the categorical product in the (standard) category of graphs with graph homomorphisms. I'd ...
4
votes
1answer
244 views

Categorical definition of tensor product

It is standard to define the tensor product $M\otimes_R N$ of $R$-modules as a universal object of bilinear maps from $M\times N$. Now, suppose that $\mathscr{F}$, $\mathscr{G}$ are sheaves of ...
0
votes
1answer
268 views

Tensor product of sets

The cartesian product of two sets $A$ and $B$ can be seen as a tensor product. Are there examples for the tensor product of two sets $A$ and $B$ other than the usual cartesian product ? The context ...
5
votes
2answers
225 views

Algebras over a field are flat - category theoretic proof?

Let $k$ be a field. Assume that you already know that the category $\mathrm{Alg}(k)$ of $k$-algebras (everything here is commutative and unital) has a coproduct $\sqcup$. But you don't know that this ...
3
votes
2answers
702 views

What is the categorical diagram for the tensor product?

The title says it all: what is the diagram that defines a tensor product? (I'm using the term diagram here in the technical sense it has in category theory.) Edit: This question was motivated by the ...
2
votes
2answers
629 views

Tensor product as a colimit

I've been dealing with category theory for three weeks now and we just started covering limits and colimits, meanwhile in my geometry class we defined the tensor product of vector spaces. Then I ...
35
votes
1answer
3k views

Was Grothendieck familiar with Stone's work on Boolean algebras?

In short, my question is: Was Grothendieck familiar with Stone's work on Boolean algebras? Background: In an answer to Pierre-Yves Gaillard's question Did Zariski really define the Zariski ...
8
votes
1answer
370 views

Adjointness of Hom and Tensor

Could someone provide me a link to the proof of the adjointness of Hom and Tensor. I did an extensive google search but could not find anything self contained that presented the proof in full ...