Newest at the top
2024-09-22 14:30:05 +0200 | <tomsmeding> | ADTs don't include functions, but indeed the "number of elements" rule-of-thumb continues to hold :) |
2024-09-22 14:29:01 +0200 | <tomsmeding> | gentauro: in category theory these things are called "products", "coproducts" and "exponentials" |
2024-09-22 14:28:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-22 14:24:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 14:23:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-22 14:23:40 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-22 14:15:34 +0200 | <gentauro> | ncf: exponential -> `|a->b| = |b|^|a|` I think I got it :) |
2024-09-22 14:13:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-22 14:11:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
2024-09-22 14:08:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 14:06:41 +0200 | ACuriousMoose | (~ACuriousM@156.34.161.188) |
2024-09-22 14:01:26 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:5313:606:a958:1af2) |
2024-09-22 14:00:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
2024-09-22 14:00:02 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) (Remote host closed the connection) |
2024-09-22 13:59:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-22 13:59:24 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) |
2024-09-22 13:58:49 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-09-22 13:58:23 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
2024-09-22 13:54:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 13:53:50 +0200 | <gentauro> | ncf: Thx anyway :) |
2024-09-22 13:53:42 +0200 | ACuriousMoose | (~ACuriousM@156.34.161.188) (Quit: The Lounge - https://thelounge.chat) |
2024-09-22 13:49:12 +0200 | <gentauro> | ncf: Hmmmm |
2024-09-22 13:46:47 +0200 | <ncf> | functions are not typically included in algebraic data types, but are you looking for "exponential"? https://ncatlab.org/nlab/show/exponential+object |
2024-09-22 13:43:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-22 13:43:21 +0200 | <gentauro> | Remark: Back in the days, it was defined on the wiki page for ADT, but it seems that it has been removed :( |
2024-09-22 13:42:27 +0200 | <gentauro> | hey, what are function-types called in Algebraic Data Types? I know we mostly refer ADT's only to product and sum types, but I recall that functions types are also part of the pod (link to website pointing to theory would be gladly appreciated). Thx :) |
2024-09-22 13:38:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 13:28:28 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-22 13:27:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-22 13:24:19 +0200 | Squared | (~Square@user/square) |
2024-09-22 13:23:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 13:20:34 +0200 | ash3en1 | ash3en |
2024-09-22 13:20:34 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
2024-09-22 13:19:10 +0200 | ash3en1 | (~Thunderbi@89.56.182.235) |
2024-09-22 13:16:00 +0200 | lucy | (~lucy@user/lucy) |
2024-09-22 13:14:31 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 264 seconds) |
2024-09-22 13:12:59 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) |
2024-09-22 13:12:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-22 13:11:26 +0200 | mari-estel | (~mari-este@2a02:3032:307:a8c2:216:3eff:fe65:4eef) (Quit: on the move) |
2024-09-22 13:10:17 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
2024-09-22 13:09:31 +0200 | Iceland_jack | (~Iceland_j@user/Iceland-jack:62112) (Ping timeout: 256 seconds) |
2024-09-22 13:07:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 13:06:14 +0200 | __monty__ | (~toonn@user/toonn) |
2024-09-22 13:03:46 +0200 | lucy | (~lucy@user/lucy) |
2024-09-22 13:02:31 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-09-22 13:02:16 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 272 seconds) |
2024-09-22 13:00:54 +0200 | euleritian | (~euleritia@dynamic-176-006-141-150.176.6.pool.telefonica.de) |
2024-09-22 12:58:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-22 12:53:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-22 12:42:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |