Take the tour ×  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?  share|improve this question Tom, which
introductory material on category theory have you been reading?
My experience is that almost all introductions to the subject
would include this as a basic example of an adjoint functor. But
maybe you're reading something more aimed at computer
scientists, for instance? Anyway, it sounds like you could do
with some extra reading material, and you're in luck: category
theory is especially well-represented on the web, and if you
google a phrase such as "introduction to category theory" you'll
turn up some good stuff. –  Tom Leinster Feb 28 '10 at 1:42 Yea
Im a computer scientist so need to get to grips with this! – 
Tom Bath Feb 28 '10 at 17:06 add comment  1 Answer  Yes, the
functor that takes a set to the fre