Full Subcategory: FinVect_k ⊊ Vect_k

FinVect_k is a full subcategory of Vect_k. When any two vector spaces over fields k of Vect_k are finite vector spaces over fields k in FinVect_k, all linear maps between them are linear maps in FinVect_k too. Put another way, FinVect_k has only some of the objects of Vect_k, but all of the arrows.

In terms of stuff, structure, and properties, finite vector spaces over fields k are like vector spaces over fields k but with extra properties.

full_subcategories: FinVect_k, Vect_k

This data as json

subcategory supercategory
FinVect_k Vect_k