Does $\text{Mat}_n(k)$ have some universal properties similar to its universal enveloping algebra?

Question

Let $k$ be a field and $\text{Mat}_n(k)$ be $n \times n$ matrices over $k$. Let's consider $\text{Mat}_n(k)$ as an associative algebra and denote $gl_n(k)$ be the same $k$-linear space as $\text{Mat}_n(k)$ but considered as a Lie algebra. We can form the universal enveloping algebra $U(gl_n(k))$ of $gl_n(k)$, which satisfies the universal property, $\forall$ unital associative $k$-algebra $A$, we have $$ Hom_{k-alg}(U(gl_n(k)),A)\cong Hom_{Lie}(gl_n(k),F(A)), $$ where $F$ is the forgetful functor from $k$-alg to Lie.

Now we know that the associative algebra $\text{Mat}_n(k)$ is not the universal enveloping algebra $U(gl_n(k))$. However, by the universal property, we have $$ Hom_{k-alg}(U(gl_n(k)),\text{Mat}_n(k))\cong Hom_{Lie}(gl_n(k),gl_n(k)), $$ which makes $\text{Mat}_n(k)$ "special" in some sense.

$\textbf{My question}$ is: Could we make the above observation more precise? Does $\text{Mat}_n(k)$ have some universal properties similar to $U(gl_n(k))$?

Answer 1

Of course, what's a universal property is open to interpretation, but $\mathrm{Mat}_n(k)$ corepresents something very nice: $\mathrm{Hom}_{k-alg}(A,\mathrm{Mat}_n(k))$ is the space of representations of $A$ on $k^n$ (not up to any kind of equivalence, of course). This can also be interpreted as the $k$ points of an affine algebraic $k$-variety $\mathrm{Rep}_n(A)$, as long as $A$ is finitely generated: if $a_1,\dots, a_m$ are generators of $A$, and $r_1(\mathbf{a}), \dots, r_\ell(\mathbf{a})$ are the non-commutative polynomials giving relations, then $\mathrm{Rep}_n(A)$ is defined by taking $n\times n$ matrices $M_1,\dots, M_m$ with each matrix coefficient a variable, and letting the relations be $r_k(\mathbf{M})=0$.

In fancier language, we can define its points over any $k$-algebra $R$ by $$\mathrm{Rep}_n(A,R)=\mathrm{Hom}_{R-alg}(A\otimes_k R,\mathrm{Mat}_n(R)).$$

You can interpret this as saying that the functor from commutative to non-commutive $k$-algebras given by $\mathrm{Mat}_n$ is the right adjoint to the functor sending $A$ to $k[\mathrm{Rep}_n(A)]$, much like the universal enveloping algebra is left adjoint to the forgetful functor from algebras to Lie algebras that just remembers the bracket.