nLab matrix theory

for matrix theory in the sense of string theory see at BFSS matrix model and IKKT matrix model


Let AA be a Lawvere theory with generic object TT. For nn \in \mathbb{N}, the full subcategory of AA generated by the cartesian powers of T nT^n is also a Lawvere theory, which we denote by M n(A)M_n(A). In the case of an annular theory (the theory of modules over a ring that we also call AA), this is the construction of n×nn\times n matrices over AA. If we denote by M nM_n the application of this construction to the initial theory (the theory of sets), then we may identify M n(A)M_n(A) with the tensor product theory M nAM_n\otimes A.

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

Last revised on August 8, 2015 at 12:27:09. See the history of this page for a list of all contributions to it.