matrix theory

Let $A$ be a Lawvere theory with generic object $T$. The full subcategory of $A$ generated by the cartesian powers of $T^n$ is also a Lawvere theory, that we denote by $M_n(A)$. In the case of an annular theory (the theory of modules over a ring that we also call $A$), this is the construction of $n\times n$ matrices over $A$. If we denote by $M_n$ the application of this construction to the initial theory (the theory of sets), then we may identify $M_n(A)$ with the tensor product theory $M_n\otimes A$.

It is an amusing exercise to present $M_n$ in terms of generating operations and relations between them.

Revised on June 23, 2009 19:28:33
by Toby Bartels
(71.104.230.172)