News for hackers. Stuff that matters.
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.
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...

Re:Kevin Buzzard on Grothendieck's use of equality by Koshkin on Tuesday May 21, 2024 @05:16PM (#40434064)
> Equality can be philosophically troubling

Which is probably why they are saying "equity" now