I'm not talking about charts of R^3; I'm talking about the different isomorphic ... | Hacker News

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

		ajkjk on May 20, 2024 \| parent \| context \| favorite \| on: Grothendieck’s use of equality I'm not talking about charts of R^3; I'm talking about the different isomorphic constructions of products like ((a, b), c) and (a, (b, c)) as being a sort of 'choice of coordinate system' on the isomorphic class of objects.

mathgradthrow on May 20, 2024 [–]

yes, and these choices dont matter individually, but how these choices glue together does, in fact, depend on all of them collectively.

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