Was wondering if someone could help. I am just about getting to grips with cateogry theory and adjoints. I have a query though, reading through some material.
Does the forgetful functor from the category Group of groups to Set have a left adjoint?
Was wondering if someone could help. I am just about getting to grips with cateogry theory and adjoints. I have a query though, reading through some material. Does the forgetful functor from the category Group of groups to Set have a left adjoint? 


Yes, the functor that takes a set to the free group generated by that set. 

