Exactly.

That is why the "forgetful functor" seems at first sight stupid and when you think a bit, it is genius.

When you think about it, creating a structure modulo some relation or kind of symmetry, is also a kind of targeted forgetting.