This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
Slightly rephrased from a MathOverflow comment:
“The entire digital technology depends on the (obvious) fact that the free monoid with countably many generators embeds in the free monoid with two generators.”
https://mathoverflow.net/questions/438925/results-from-abstract-algebra-which-look-wrong-but-are-true?rq=1#comment1132061_438949
2024-07-24T14:04:06.462Z