Free objects are the direct generalization to categories of the notion of basis in a vector space.
Let (C,F) be a concrete category (i.e. is a faithful functor), let X be a set (called basis), an object, and a map between sets (called canonical injection).