 Free objects are all examples of a left adjoint to a forgetful functor which assigns to an algebraic object its underlying set.These algebraic free functors have generally the same description as in the detailed description of the free group situation above.Products, fibred products, equalizers, and kernels are all examples of the categorical notion of a limit.