Definition 3.1.1.  Let F be a field. We define:
Vec(F) := LMod(F)
We write “let V be a vector space over F” for “let V ∈ Vec(F).”
Remarks.

For vector spaces, we reuse the definitions related to modules over a ring where applicable.

References.