News for hackers. Stuff that matters.
Re:Structuralism as a Philosophy of Mathematics by 082349872349872 on Sunday April 07, 2024 @08:05AM (#39960192)
If you want, it's even possible to fully commit to the isomorphism point of view by saying that you'll represent the structures themselves by their identity isomorphisms, but then if you "delete" the little tag telling you which particular endo was the identity (would a physicist say "up to phase"?), you might discover other interesting things...

There are no comments on this comment yet.