12
$\begingroup$

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 following statement: "...all limits and colimits are initial objects somewhere, and we can even sort of take the view that all universal properties are initial objects somewhere", from this video (@~9:15)

Thanks!

  • 1
    http://math.stackexchange.com/questions/76102/tensor-product-as-a-colimit2015-02-20

5 Answers 5

19

There isn't one, in the sense that the tensor product, in many contexts (e.g. vector spaces), is neither a limit nor a colimit.

To describe the tensor product of, say, vector spaces by a universal property requires the notion of a bilinear map $U \times V \to W$ from a pair of vector spaces to a third vector space. To say "bilinear" while staying inside the category of vector spaces requires noting that vector spaces come with an internal hom functor $B \Rightarrow C$ and then defining a bilinear map $U \times V \to W$ to be an element of $\text{Hom}(U, V \Rightarrow W).$

We say that the tensor product is universal for bilinear maps out of $U \times V$; what this means is that the tensor-hom adjunction $\text{Hom}(U \otimes V, W) \cong \text{Hom}(U, V \Rightarrow W)$

holds. If we have these structures then we are working in a closed monoidal category. For example, all of this works out for the category of modules over a commutative ring $R$.

The situation is mildly confused, though.

  • The categorical product in the category of graphs is sometimes called the tensor product, I assume because it acts as the Kronecker product on adjacency matrices, which is the basis-dependent form of the tensor product of two linear operators. In my opinion, this is a bad name.

  • The categorical coproduct in the category of commutative $R$-algebras ($R$ a commutative ring) is called the tensor product, I assume because the forgetful functor to $R$-modules sends it to the tensor product of $R$-modules. (The tensor product can be defined for all $R$-algebras, though, and there it is neither the categorical product nor the categorical coproduct; the coproduct is given by a free product analogous to the free product of groups.)

  • 0
    @user: that was not at all clear from your other two comments. Yes, one general case is when the monoidal category is closed.2014-04-12
5

Let's assume we're talking about tensor product of $M$ and $N$ over the commutative ring $R$. I think what you are really after is how to express the tensor product as a universal arrow, since it isn't a limit or a colimit.

Consider then the functor $F:R\text{-}\mathbf{Mod}\to\mathbf{Set}$ which takes an $R$-module $L$ to the set $\text{Bil}(M,N;L)$ of $R$-bilinear maps $M\times N\to L$. Then, let $\ast$ be any singleton set, then a tensor product of $M$ and $N$ is a universal arrow from $\ast$ to $F$. In other words, it's $R$-module $T$ and an element $f$ of $\text{Bil}(M,N;T)$ with the property that given any other $R$-module $L$ and an element $g\in\text{Bil}(M,N;L)$ there exists a unique arrow $h:T\to L$ such that $h\circ f=g$.

The notion of universal arrow, although correct here, is more often called a universal element in this case.

4

From http://maths.mq.edu.au/~street/PlanarDiags.pdf:

enter image description here

enter image description here

as well as other conditions.

2

Of course as Eugenia Cheng says in the video you've linked every limit, colimit, universal property can be seen as an initial object in a opportune category: if $F \colon \mathbf C \to \mathbf D$ is a functor a universal arrow for $F$ is just an initial object in the comma category $(\text{id}_{\mathbf D} \downarrow F)$.

That's said apparently there is a characterization of tensor product of modules via colimits or to be more precise via co-end, which can be described as a particular kind of coequalizer, you can find this characterization of tensor product as a co-end in Mac Lane's Category theory for working mathematicians.

1

The following construction is not really presenting tensor product "as an initial object somewhere", but rather showing that one can encode $R$-balanced maps into diagrams of group homomorphisms, hence one can indeed think of the tensor product as a colimit (of Abelian groups).

I assume the question is concerning the tensor product of modules (for which the tensor product o f vector spaces is a special case), i.e. $M \otimes_R N$ when $M \in \mathrm{Mod}-R, \; N \in R-\mathrm{Mod}$.

Consider the following diagram in $\mathbf{Ab}$:

Its objects are:

1) For every $n \in N,$ an Abelian group $M_n \simeq M$,

2) for every $n_1,n_2 \in N$, the direct sum $M_{n_1} \oplus M_{n_2}$.

Its arrows are given as follows:

1) For every $r \in R$ and every $n \in N$, a map $M_{rn}\rightarrow M_{n}$ defined as $m \mapsto mr$ (which is a group homomorphism, obviously),

2) For every $n_1, n_2 \in N$, there are inclusions $M_{n_1}\stackrel{i_1}\rightarrow M_{n_1}\oplus M_{n_2}$, $M_{n_2}\stackrel{i_2}\rightarrow M_{n_1}\oplus M_{n_2}$ and a diagonal map $\Delta: M_{n_1+n_2} \rightarrow M_{n_1}\oplus M_{n_2}$ (i.e. given as $m \mapsto (m,m)$).

Now, observe that whenever one has a collection of group homomorphisms compatible with the diagram, i.e. a collection of group hom's $f_n:M_n \rightarrow A$ such that the first property of colimit is satisfied, one has that $\forall m \in M \; \forall n \in N \; \forall r \in R: f_{n}(mr)=f_{rn}(m)$ (which follows from compatibility with the arrows from 1) ), and also $\forall m \in M \;\forall n_1, n_2 \in N: f_{n_1+n_2}(m)=f_{n_1}(m)+f_{n_2}(m)$ (which follows from the part 2) ). The last condition, i.e. $\forall m_1, m_2 \in M \;\forall n \in N: f_{n}(m_1+m_2)=f_{n}(m_1)+f_n(m_2)$ is satisfied trivially since all the $f_n$'s are group homomorphisms.

In other words, one can associate to such the $R$-balanced map $f:M\times N \rightarrow A$ defined as $f(m,n):=f_{n}(m).$

On the other hand, it is also clear that whenever one has an $R$-balanced map $g:M\times N \rightarrow A$, one can construct a collection of group homomorphism compatible with the diagram by setting $g_n:M_n\rightarrow A$ to be $g(-,n)$.

Thus, being universal among $R$-balanced maps is morally the same thing as being universal among the co-cones (i.e. "compatible collections of morphisms") of the diagram described above. Thus, $M\otimes_RN$ is (naturally isomorphic to) the colimit of the diagram.

Also note that the choice of $\mathbf{Ab}$ is not some compromise, but a necessity, since in general $M\otimes_R N$ is just an Abelian group, i.e. not necessarily a left or right $R$-module. If the ring $R$ is commutative (as in the case of fields), one can adjust the construction to obtain the tensor product as a colimit in $R-\mathrm{Mod}$.