Full Subcategory: FinVect_q ⊊ FinVect_k

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

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

full_subcategories: FinVect_q, FinVect_k

This data as json