Let $V$ be a vector space over $F$, and $S$ a non-empty subset of $V$. We say that $S$ generates $V$ if every $v\in V$ can be written as finite $F$-linear combination of elements of $S$.
I want to express the above definition of generating set in terms of universal property. My question is whether the following is the universal property of $S$ (generating set) and how to prove that it is equivalent to above definition? Just hint is sufficient, I will try to write complete proof.
We say that $S$ generates $V$ if the following holds: any map $\varphi$ from $S$ into any vector space $W$ extends to a linear map $\varphi_1$ from $V$ into/onto $W$.