## The Category of Matrices I

What we’ve been building up to is actually the definition of a category. Given a field we define the category of matrices over .

Most of our other categories have been named after their objects — groups are the objects of , commutative monoids are the objects of , and so on — but not here. In this case, matrices will be the morphisms, and the category of matrices illustrates in a clearer way than any we’ve seen yet how similar categories are to other algebraic structures that are usually seen as simpler and more concrete.

Down to business: the objects of will be the natural numbers , and the morphisms in are the matrices. That is, a morphism is a collection of field elements where runs from to and runs from to .

We compose two morphisms by the process of matrix multiplication. If is an matrix in and is a matrix in , then their product is a matrix in (remember the summation convention).

The category of matrices is actually enriched over the category of vector spaces over . This means that each set of morphisms is actually a vector space over . Specifically, we add matrices of the same dimensions and multiply matrices by scalars component-by-component.

We have yet to speak very clearly about identities. The axioms of an enriched category state that for each object (natural number) there must be a linear function . Because of linearity, this function is completely determined by its value at : . We must pick this matrix so that it acts as an identity for matrix multiplication, and we choose the Kronecker delta for this purpose: . That is, we use an matrix whose entries are if the indices are equal and otherwise. It’s straightforward to check that this is indeed an identity.

Other properties I’ve skipped over, but which aren’t hard to check, are that matrix multiplication is bilinear and associative. Both of these are straightforward once written out in terms of the summation convention; sometimes deceptively so. For example, the associativity condition reads . But remember that there are hidden summation signs in here, so it should really read:

so there’s an implicit change in the order of summation here. Since we’re just doing finite sums, this is no problem, but it’s still worth keeping an eye on.

[…] Category of Matrices II As we consider the category of matrices over the field , we find a monoidal […]

Pingback by The Category of Matrices II « The Unapologetic Mathematician | June 3, 2008 |

“Down to business: the objects of \mathbf{Mat}(\mathbb{F}) will be the natural numbers \mathbb{N}…”

Wait, why? Why wouldn’t it be a vector? I can see how the morphisms are matrices, but don’t the morphisms map one object to another? And wouldn’t matrices – being linear operators – map vector spaces to vector spaces, and vectors to vectors? So…why are natural numbers the objects?

Comment by Wait one moment... | June 4, 2008 |

(Sorry to keep posting :P)

But a thought, it’s the natural numbers because the natural number indicates the number of dimensions of the vector space, right? Which is why it’s an n by m matrix that maps the object ‘m’ to the object ‘n’, right?

Comment by Wait one moment... | June 4, 2008 |

Yes, that’s it. This is

nota category of algebraic structures and mappings between them. The morphisms are the most important part of this category, and the objects are largely bookkeeping to tell which morphisms can be composed.Comment by John Armstrong | June 4, 2008 |

‘Wait one moment’ wrote:

The real reason is that it doesn’t matter what you

callthe objects – you can call them or . The latter seems more reasonable when you’re first getting started, but once this realization fully sinks in –it doesn’t matter what you call the objects– people often decide the shorter name is fine. This is especially true because there’s a large class of important categories where there’s one object per natural number. Some of these categories are called “PROPs” – and there’s a whole big theory of PROPs, which is very interesting.Comment by John Baez | June 5, 2008 |

Grr… I typed in the html to get F^n with a superscript for the n, but all I got was Fn.

Comment by John Baez | June 5, 2008 |

fixed it. And yes, that’s a good point. It’s pretty much what I meant by “the objects are largely bookkeeping”, but your explanation is appreciated.

Comment by John Armstrong | June 5, 2008 |

Alright, thanks for the clarification Dr Baez and Dr Armstrong; if I may employ a terrible pun, may I give *PROPS* to you both. Ahaha…ahem, what a terrible pun.

Comment by Wait one moment... | June 7, 2008 |

[…] of Matrices III At long last, let’s get back to linear algebra. We’d laid out the category of matrices , and we showed that it’s a monoidal category with […]

Pingback by The Category of Matrices III « The Unapologetic Mathematician | June 23, 2008 |