Newest at the top
2024-09-28 11:20:30 +0200 | Digitteknohippie | Digit |
2024-09-28 11:20:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 11:19:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-28 11:15:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 11:14:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 11:09:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-09-28 11:03:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-28 11:01:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 11:00:25 +0200 | <ncf> | in HoTT naturally isomorphic functors are equal so you can just transport the structure |
2024-09-28 10:59:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-09-28 10:59:19 +0200 | <ncf> | monochrom: is that surprising? if two sets are isomorphic then a monoid on one is a monoid on the other |
2024-09-28 10:58:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:56:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 10:52:43 +0200 | tomsmeding_ | tomsmeding |
2024-09-28 10:50:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-28 10:48:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-28 10:47:18 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
2024-09-28 10:46:43 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-09-28 10:44:52 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2024-09-28 10:44:32 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-28 10:44:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-28 10:43:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:36:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 10:35:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-28 10:34:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-28 10:32:36 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
2024-09-28 10:32:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 10:27:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:27:06 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-09-28 10:26:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-09-28 10:26:24 +0200 | leif | (~leif@210.54.33.112) () |
2024-09-28 10:25:14 +0200 | leif | (~leif@210.54.33.112) |
2024-09-28 10:18:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 10:16:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-28 10:13:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:08:31 +0200 | foul_owl | (~kerry@185.219.141.160) foul_owl |
2024-09-28 10:07:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
2024-09-28 10:06:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-28 10:00:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 09:57:08 +0200 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) (Ping timeout: 255 seconds) |
2024-09-28 09:50:41 +0200 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) foul_owl |
2024-09-28 09:49:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-28 09:47:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-28 09:43:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:42:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 09:36:14 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 260 seconds) |
2024-09-28 09:33:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 09:28:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:28:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-28 09:26:56 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |