Full Subcategory: Vect_k ⊊ Mod(Ab)

Vect_k is a full subcategory of Mod(Ab). When any two modules of monoids in Ab (rings) of Mod(Ab) are vector spaces over fields k in Vect_k, all module maps between them are linear maps in Vect_k too. Put another way, Vect_k has only some of the objects of Mod(Ab), but all of the arrows.

In terms of stuff, structure, and properties, vector spaces over fields k are like modules of monoids in Ab (rings) but with extra properties.

full_subcategories: Vect_k, Mod(Ab)

This data as json