Skeleton: Mat_k

Mat_k is a skeleton of FinVect_k; Mat_k is equivalent to FinVect_k but has no isomorphisms. Less cryptically, isomorphic objects in FinVect_k are mapped to single objects in Mat_k representing their equivalence classes.

Skeletons are not quite functorial, because their construction requires the Axiom of Choice.

skeletons: FinVect_k

This data as json