Tannaka Reconstruction and the Monoid of Matrices

John C. Baez, Todd Trimble

Settling a conjecture from an earlier paper, we prove that the monoid $\mathrm{M}(n,k)$ of $n\times n$ matrices in a field $k$ of characteristic zero is the "walking monoid with a…