for forgetful functors, we can usually find their left adjoint as some "free objects", e.g. the forgetful functor: AbGp -> Set, its left adjoint sends a set to the "free ab. gp gen. by it". This happens even in some non-trivial cases. So my question is, why these happen? i.e. why that a functor forgets some structure (in certain cases) implies that they have a left adjoint? Thanks.