Re:Kevin Buzzard on Grothendieck's use of equality
by juped on Monday May 20, 2024 @10:15AM
(#40415693)
Equality can be philosophically troubling, but as a practical matter, what you care about is the indiscernibility of identicals, and if every property you use follows from a universal property, then equal up to isomorphism is just equal. So every Rubik's cube is equal considered as a group of face rotations, and there's only one Rubik's cube, but if you care about chemical properties of sticker glue, they're no longer equal.
[ Parent
| on HN ]
Re:Kevin Buzzard on Grothendieck's use of equality
by moomin on Monday May 20, 2024 @01:34PM
(#40417911)
Something the author points out: sometimes theorems directly rely on specific constructions of mathematical objects, which are then used to establish things that do not mention the construction.
Re:Kevin Buzzard on Grothendieck's use of equality
by passion__desire on Monday May 20, 2024 @04:12PM
(#40419736)
The glue point reminds me of Benacerraf problem.
https://en.m.wikipedia.org/wiki/Benacerraf%27s_identificatio...