Brent Yorgey (npub1g8e…88a8)
Also I feel here is a monoid with star that is not (even countably) complete: rational number with max operation has star, which is just identity, but it is not countably complete because you can consider a countable sequence that under approximate pi.
Cheng Zhang
npub1uc…8q6qy
2026-06-24 23:51:03 UTC
in reply to nevent1q…zs5y
Author Public Key
npub1ucfl35l5pyknn8j3yhghqjljmllxsmmtjggkuxfpu782nnrfj0wqd8q6qyPublished at
2026-06-24 23:51:03 UTCEvent JSON
{
"id": "55c39652727d266dd2104b86feca9f5128dca85e22d3bd9002881f0bd27ff480",
"pubkey": "e613f8d3f4092d399e5125d1704bf2dffe686f6b92116e1921e78ea9cc6993dc",
"created_at": 1782345063,
"kind": 1,
"tags": [
[
"p",
"e613f8d3f4092d399e5125d1704bf2dffe686f6b92116e1921e78ea9cc6993dc"
],
[
"p",
"41f2efd37bc6a6ad74c8ec1ce0870708486072c0cf58dda8897ea15bf4b27b15"
],
[
"p",
"66ba9f96ffc41b9061cfd4a3f02d9539a400ed240aa78a67563a8acf8699b222"
],
[
"proxy",
"https://mathstodon.xyz/@czhang03/116807766101695779",
"web"
],
[
"e",
"aababb8ec406b6f0047a86849cb03ed5987f9e14ed723d9808699a6d6b6be8eb",
"",
"root",
"41f2efd37bc6a6ad74c8ec1ce0870708486072c0cf58dda8897ea15bf4b27b15"
],
[
"e",
"bdfc25b7da5cf829439a9e603bddb53f7e2f78317f2beb89d083b9f04f670af3",
"",
"reply",
"66ba9f96ffc41b9061cfd4a3f02d9539a400ed240aa78a67563a8acf8699b222"
],
[
"proxy",
"https://mathstodon.xyz/users/czhang03/statuses/116807766101695779",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/czhang03/statuses/116807766101695779",
"pink.momostr"
],
[
"-"
]
],
"content": "nostr:npub1g8ewl5mmc6n26axgaswwppc8ppyxqukqeavdm2yf06s4ha9j0v2sna88a8 \nAlso I feel here is a monoid with star that is not (even countably) complete: rational number with max operation has star, which is just identity, but it is not countably complete because you can consider a countable sequence that under approximate pi.",
"sig": "2358673757de95a0d9bf4824655e6f0081dee25c747881e802711e866891430da5ead03828d2f660ce33fcca9f70bb8311f6c30ed8132c14421aa205f314b6cc"
}