Newest at the top
| 2025-10-14 15:45:50 +0200 | <tomsmeding> | (I guess it would be a "monoid module") |
| 2025-10-14 15:45:00 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-14 15:44:58 +0200 | <tomsmeding> | if the sums weren't formal, this would be a module, would it not? |
| 2025-10-14 15:44:33 +0200 | <tomsmeding> | so whether the elements of G do something with each other is not relevant for how many elements rae in R[G], it seems |
| 2025-10-14 15:44:10 +0200 | <tomsmeding> | ski: well, the article does say that the polynomials are formal ("set of formal sums") |
| 2025-10-14 15:30:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-14 15:30:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-14 15:28:44 +0200 | <ski> | tomsmeding : i guess saying "polynomial" implies that the monoid is the free (commutative) monoid (hm, for "formal polynomial", would that be cofree monoid ?) |
| 2025-10-14 15:25:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-14 15:17:53 +0200 | inline | (~inlinE@ip-178-202-059-142.um47.pools.vodafone-ip.de) Inline |
| 2025-10-14 15:17:36 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-14 15:16:13 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 15:15:49 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 15:14:49 +0200 | luna___ | (~luna@fedora/bittin) bittin |
| 2025-10-14 15:07:37 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-14 15:05:42 +0200 | kuribas | (~user@2a02-1810-2825-6000-b5ac-98ee-b19a-ab1f.ip6.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-10-14 15:03:45 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-14 15:00:52 +0200 | Googulator49 | Googulator |
| 2025-10-14 14:50:50 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Client Quit) |
| 2025-10-14 14:50:46 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 14:46:14 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 14:46:12 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 14:46:05 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 14:45:42 +0200 | <tomsmeding> | perhaps that would be too "monoid in the category of endofunctors" for wikipedia |
| 2025-10-14 14:44:43 +0200 | <tomsmeding> | ski: why does that not open with "a monoid ring is a formal polynomial ring in a monoid with coefficient from a ring" |
| 2025-10-14 14:43:55 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du) |
| 2025-10-14 14:36:42 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/Monoid_ring> ) |
| 2025-10-14 14:34:01 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 14:32:19 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 14:32:08 +0200 | <merijn> | mreh: Yet another reason, the Semigroup version is superior :p |
| 2025-10-14 14:31:52 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-14 14:31:34 +0200 | <mreh> | jackdk: I went to a meetup maybe 10 years ago, it's since folded |
| 2025-10-14 14:29:30 +0200 | <mreh> | that's true |
| 2025-10-14 14:28:50 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 14:28:49 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 14:28:36 +0200 | <merijn> | So the current behaviour is trivially reconstructible via a newtype wrapper on values |
| 2025-10-14 14:28:03 +0200 | <merijn> | mreh: It's called "Map k (First v)" |
| 2025-10-14 14:27:53 +0200 | <merijn> | mreh: Yes there is |
| 2025-10-14 14:27:23 +0200 | <mreh> | there's no "just use" when you're using a Map in Writer :'( |
| 2025-10-14 14:27:01 +0200 | <jackdk> | mreh: I would've thought there'd be a fair number of Haskellers in London? |
| 2025-10-14 14:26:22 +0200 | <merijn> | And when you want that you can just use `unions` |
| 2025-10-14 14:26:13 +0200 | <merijn> | The left-biased merge never |
| 2025-10-14 14:26:07 +0200 | <merijn> | __monty__: I've used the semigroup monoid on Map hundreds of times |
| 2025-10-14 14:25:55 +0200 | <merijn> | __monty__: It's useful, but not AS useful as the semigroup version |
| 2025-10-14 14:25:39 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 14:25:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 14:25:29 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 14:25:27 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 14:25:23 +0200 | <merijn> | jackdk: You've got my signature :p |
| 2025-10-14 14:25:16 +0200 | mreh | wishes there was a Haskell meetup in London again |