2 ms·

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

• btilly 8mo ago
  When you think about it, creating a structure modulo some relation or kind of symmetry, is also a kind of targeted forgetting.
  • pfortuny 8mo ago
    Exactly.