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.
|show 2 more comments|