The Yoneda lemma in the category of matrices [video]