Hello, I am reading some notes on category theory, and I just had a question about the forgetful functor?
Consider the forgetful functor
. I was wondering if the structure
where the collection of objects is
and the collection of morphisms between two objects
and
is
forms a category?
The reason I ask is because I read that
was a subcategory of
but the objects of groups arent really contained in the objects of Sets, but I can see it if this 'image' of
is a category. Thanks very much for any advice.