Logs: liberachat/#haskell
| 2021-06-23 12:17:49 | <dminuoso> | Well I guess he just wants a categorical product |
| 2021-06-23 12:18:07 | <dminuoso> | Such that this commutes https://upload.wikimedia.org/wikipedia/commons/thumb/8/89/CategoricalProduct-03.svg/560px-CategoricalProduct-03.svg.png |
| 2021-06-23 12:18:08 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds) |
| 2021-06-23 12:18:31 | <dminuoso> | maybe cartesian category was too strong, even |
| 2021-06-23 12:19:28 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-06-23 12:19:30 | <chisui> | what throws me off a little is that he wants `(a, a)` a categoriacal product would be `(a, b)` |
| 2021-06-23 12:19:31 | <shane> | chisui: I suppose I mean `const 1` or `const 2`. |
| 2021-06-23 12:19:54 | → | shapr joins (~user@2601:7c0:8180:89d0:e21a:92b8:d08a:508f) |
| 2021-06-23 12:20:16 | <dminuoso> | shane: Look into what a product is in category theory. |
| 2021-06-23 12:20:33 | <dminuoso> | I suspect you're chasing the commuting diagram I linked above |
| 2021-06-23 12:20:56 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-23 12:21:12 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-06-23 12:26:09 | euandreh_ | is now known as euandreh |
| 2021-06-23 12:31:10 | × | hueso quits (~root@user/hueso) (Ping timeout: 258 seconds) |
| 2021-06-23 12:32:33 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-23 12:33:36 | × | dunkeln_1 quits (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-23 12:36:42 | → | egoist joins (~egoist@186.235.85.100) |
| 2021-06-23 12:38:34 | → | hueso joins (~root@user/hueso) |
| 2021-06-23 12:40:03 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-23 12:40:17 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-06-23 12:40:22 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-06-23 12:40:53 | × | azeem quits (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-23 12:42:17 | → | azeem joins (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) |
| 2021-06-23 12:44:26 | → | pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-06-23 12:44:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-23 12:45:03 | × | xff0x_ quits (~xff0x@2001:1a81:5270:f300:fe1c:5171:b5b6:4cc4) (Ping timeout: 268 seconds) |
| 2021-06-23 12:46:40 | → | xff0x_ joins (~xff0x@2001:1a81:5271:d900:c621:6547:99a4:fbb5) |
| 2021-06-23 12:47:23 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-23 12:49:30 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-23 12:50:54 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2021-06-23 12:54:15 | → | dunkeln_ joins (~dunkeln@94.129.65.28) |
| 2021-06-23 12:54:56 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 258 seconds) |
| 2021-06-23 12:55:49 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-23 12:55:59 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-23 12:56:01 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-23 12:56:02 | × | xff0x_ quits (~xff0x@2001:1a81:5271:d900:c621:6547:99a4:fbb5) (Ping timeout: 250 seconds) |
| 2021-06-23 12:56:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-23 12:57:44 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-23 12:57:44 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-06-23 12:57:44 | → | turlando joins (~turlando@user/turlando) |
| 2021-06-23 12:58:40 | → | xff0x_ joins (~xff0x@port-92-193-138-158.dynamic.as20676.net) |
| 2021-06-23 13:00:02 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-23 13:00:58 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-23 13:01:09 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-23 13:01:13 | → | alx741 joins (~alx741@181.196.68.156) |
| 2021-06-23 13:03:49 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 2021-06-23 13:04:34 | → | hueso joins (~root@user/hueso) |
| 2021-06-23 13:04:50 | → | sekun joins (~sekun@180.190.208.125) |
| 2021-06-23 13:05:11 | → | xff0x joins (~xff0x@2001:1a81:5272:1d00:a8b6:9f02:264b:fce) |
| 2021-06-23 13:06:52 | × | xff0x_ quits (~xff0x@port-92-193-138-158.dynamic.as20676.net) (Ping timeout: 250 seconds) |
| 2021-06-23 13:07:26 | × | hseg quits (~gesh@195.192.229.14) (Ping timeout: 265 seconds) |
| 2021-06-23 13:08:21 | × | dunkeln_ quits (~dunkeln@94.129.65.28) (Ping timeout: 258 seconds) |
| 2021-06-23 13:08:50 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-23 13:09:14 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-23 13:10:20 | × | xff0x quits (~xff0x@2001:1a81:5272:1d00:a8b6:9f02:264b:fce) (Ping timeout: 250 seconds) |
| 2021-06-23 13:10:56 | × | f0c1s quits (~f0c1s@136.185.130.32) (Remote host closed the connection) |
| 2021-06-23 13:12:00 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-23 13:12:33 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-23 13:12:54 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-23 13:13:02 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-23 13:13:02 | → | xff0x joins (~xff0x@2001:1a81:5272:4100:c2fe:5e6:247e:dd00) |
| 2021-06-23 13:13:29 | → | CookE[] joins (~thedawn@user/thedawn) |
| 2021-06-23 13:13:42 | → | f0c1s joins (~f0c1s@136.185.130.32) |
| 2021-06-23 13:13:43 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-23 13:14:06 | → | Nahra` joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-06-23 13:14:21 | → | lambdap6 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-06-23 13:15:06 | × | kmein quits (~weechat@user/kmein) (Ping timeout: 252 seconds) |
| 2021-06-23 13:15:06 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2021-06-23 13:15:16 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-06-23 13:15:28 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2021-06-23 13:15:28 | lambdap6 | is now known as lambdap |
| 2021-06-23 13:15:37 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 13:15:49 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Ping timeout: 246 seconds) |
| 2021-06-23 13:17:34 | × | chisui quits (~chisui@200116b866efc300342cdc4d594c896c.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-06-23 13:18:30 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-23 13:22:22 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-23 13:22:27 | → | fluffyballoon joins (~fluffybal@199.204.58.62) |
| 2021-06-23 13:23:58 | × | azeem quits (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-23 13:24:08 | → | azeem joins (~azeem@176.201.6.138) |
| 2021-06-23 13:24:09 | → | chisui joins (~chisui@200116b866efc300342cdc4d594c896c.dip.versatel-1u1.de) |
| 2021-06-23 13:24:19 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-23 13:24:29 | × | azeem quits (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-23 13:24:42 | → | azeem joins (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) |
| 2021-06-23 13:24:57 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-23 13:24:57 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-23 13:26:58 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-23 13:27:13 | allbery_b | is now known as geekosaur |
| 2021-06-23 13:29:55 | × | DNH quits (~DNH@8.43.122.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-23 13:30:07 | × | zebrag quits (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2021-06-23 13:34:41 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-23 13:34:44 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-23 13:41:42 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection) |
| 2021-06-23 13:41:54 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 13:42:50 | × | dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 250 seconds) |
| 2021-06-23 13:43:14 | → | DNH joins (~DNH@8.43.122.6) |
| 2021-06-23 13:44:51 | → | ystael joins (~ystael@user/ystael) |
| 2021-06-23 13:44:53 | × | DNH quits (~DNH@8.43.122.6) (Read error: Connection reset by peer) |
| 2021-06-23 13:48:18 | × | f0c1s quits (~f0c1s@136.185.130.32) (Quit: Leaving) |
| 2021-06-23 13:54:00 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-06-23 13:54:53 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
All times are in UTC.