[pfortuny]

Exactly.

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

[btilly]

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

[pfortuny]

Exactly.