Equivalence of Categories: FinVect_k ≅ Mat_k

FinVect_k is equivalent to Mat_k, and vice versa.

FinVect_k ≅ Mat_k

equivalent_categories: FinVect_k, Mat_k

This data as json

cat1 cat2
FinVect_k Mat_k