Newest at the top
2024-10-28 13:13:24 +0100 | Nixkernal | (~Nixkernal@52.131.63.188.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-10-28 13:12:07 +0100 | sinbad | (~sinbad@user/sinbad) Sinbad |
2024-10-28 13:06:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-10-28 13:02:35 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-28 12:59:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-28 12:59:13 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-28 12:55:26 +0100 | jespada | (~jespada@222.203-67-87.adsl-dyn.isp.belgacom.be) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-10-28 12:53:35 +0100 | scaniatrucker | (~user@78.56.98.5) scaniatrucker |
2024-10-28 12:48:32 +0100 | zero | (~z@user/zero) zero |
2024-10-28 12:47:47 +0100 | zzz | (~z@user/zero) (Ping timeout: 252 seconds) |
2024-10-28 12:47:34 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2024-10-28 12:44:59 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) |
2024-10-28 12:43:49 +0100 | rosco | (~rosco@60.53.5.183) rosco |
2024-10-28 12:43:46 +0100 | habib | (~habib@185.195.232.169) habib |
2024-10-28 12:42:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-28 12:41:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-28 12:40:10 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: shitty system) |
2024-10-28 12:35:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-28 12:35:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-28 12:33:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-28 12:30:10 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-10-28 12:19:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3406-c072-f489-680b-9cb7-dfd8.rev.sfr.net) alexherbo2 |
2024-10-28 12:17:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-28 12:06:19 +0100 | <xelxebar> | Cheers! |
2024-10-28 12:06:10 +0100 | <ncf> | xelxebar: ok, fixed it and added that reference |
2024-10-28 12:05:32 +0100 | <xelxebar> | And, well, the more general cata-fusion law itself follows directly from the definition of algebra homomorphism and cata as being initial. |
2024-10-28 12:02:54 +0100 | <xelxebar> | Well, I'm not actually sure that's the earliest original, but it's what I could track down. |
2024-10-28 12:01:52 +0100 | kuribas | (~user@ptr-17d51epnnpcnu3v8qjj.18120a2.ip6.access.telenet.be) kuribas |
2024-10-28 12:00:47 +0100 | <xelxebar> | ncf: Varmo Vene, Categorical Programming with Inductive and Coinductive Types. 2000. |
2024-10-28 11:59:46 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b00a:f648:5747:c396) |
2024-10-28 11:58:50 +0100 | <ncf> | xelxebar: what's the original paper? |
2024-10-28 11:58:25 +0100 | <xelxebar> | Looks like the wiki is copying the error from E. Kmett reference, which is a defunct URL and needs to be viewed from archive.org. |
2024-10-28 11:57:36 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-28 11:56:21 +0100 | <xelxebar> | Should say that `f . phi = psi . fmap f` implies `f . cata phi = cata psi`. |
2024-10-28 11:55:54 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb165c062c18fa4bedb4.dip0.t-ipconnect.de) acidjnk |
2024-10-28 11:55:17 +0100 | <xelxebar> | Just for thoroughness, I tracked down the original paper where this was stated, and it indeed refers to a general algebra homomorphism. |
2024-10-28 11:54:32 +0100 | <xelxebar> | However, it should really apply to any algebra homomorphism. |
2024-10-28 11:54:15 +0100 | <xelxebar> | cata-fusion as stated on the wiki only applies to an algebra endomorphism. |
2024-10-28 11:53:21 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-28 11:53:20 +0100 | <xelxebar> | I think there's a typo in https://wiki.haskell.org/Catamorphisms#Laws |
2024-10-28 11:48:02 +0100 | alphazone | (~alphazone@2.219.56.221) |
2024-10-28 11:43:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-28 11:38:06 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-28 11:35:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-28 11:33:43 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 264 seconds) |
2024-10-28 11:31:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-28 11:30:47 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-28 11:27:42 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) |
2024-10-28 11:27:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
2024-10-28 11:26:08 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |