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.
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
5 years ago