most recent 30 from http://mathoverflow.net 2013-06-20T09:18:53Z http://mathoverflow.net/feeds/question/16604 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/16604/left-adjoint-grp-set Tom Bath 2010-02-27T14:18:22Z 2010-02-27T14:21:21Z

<p>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.</p> <p>Does the forgetful functor from the category Group of groups to Set have a left adjoint?</p>

http://mathoverflow.net/questions/16604/left-adjoint-grp-set/16605#16605 jef 2010-02-27T14:21:21Z 2010-02-27T14:21:21Z

<p>Yes, the functor that takes a set to the free group generated by that set.</p> <p><a href="http://en.wikipedia.org/wiki/Free_group" rel="nofollow">http://en.wikipedia.org/wiki/Free_group</a></p>