Exactly. That is why the "forgetful functor" seems at first sight stupid and whe... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pfortuny 2 days ago \| parent \| context \| favorite \| on: Mathematicians disagree on the essential structure... Exactly. That is why the "forgetful functor" seems at first sight stupid and when you think a bit, it is genius.

btilly 2 days ago [–]

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

pfortuny 2 days ago | [–]

Exactly.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact