Abstract theory of vector spaces and linear maps: the theoretical counterparts of vectors and matrices.