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.
alt Hacker News
When you think about it, creating a structure modulo some relation or kind of symmetry, is also a kind of targeted forgetting.