| 2026-06-29 00:07:09 +0000 | <monochrom> | Err, Two is the diagonal functor itself heh. |
| 2026-06-29 00:24:56 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:2b7:99fc:bbb9:7b1b) |
| 2026-06-29 00:26:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f87a:2927:c6fc:9f80) (Ping timeout: 248 seconds) |
| 2026-06-29 00:33:03 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2026-06-29 00:34:48 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-06-29 00:44:07 +0000 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 265 seconds) |
| 2026-06-29 00:55:37 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 276 seconds) |
| 2026-06-29 00:58:08 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-06-29 01:06:25 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-29 01:06:52 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: dnvln) |
| 2026-06-29 01:12:56 +0000 | <schuelermine> | so is the adjoint Two ⊢ Id? |
| 2026-06-29 01:17:56 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2026-06-29 01:18:08 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:2b7:99fc:bbb9:7b1b) (Ping timeout: 244 seconds) |
| 2026-06-29 01:47:26 +0000 | ft | (~ft@p3e9bccce.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-06-29 01:48:55 +0000 | ft | (~ft@p3e9bcc42.dip0.t-ipconnect.de) ft |
| 2026-06-29 02:15:30 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-29 02:20:18 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-06-29 02:24:44 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-29 02:28:04 +0000 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
| 2026-06-29 02:29:59 +0000 | td_ | (~td@i53870922.versanet.de) |
| 2026-06-29 02:35:58 +0000 | <monochrom> | I think no. I forgot what I used. |
| 2026-06-29 02:37:51 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 252 seconds) |
| 2026-06-29 02:39:30 +0000 | ft | (~ft@p3e9bcc42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-29 02:41:26 +0000 | ft | (~ft@p3e9bcfda.dip0.t-ipconnect.de) ft |
| 2026-06-29 02:46:27 +0000 | ft | (~ft@p3e9bcfda.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-06-29 02:47:19 +0000 | ft | (~ft@p508dbc65.dip0.t-ipconnect.de) ft |
| 2026-06-29 02:52:49 +0000 | ft | (~ft@p508dbc65.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-29 02:53:36 +0000 | ft | (~ft@p4fc2ac9e.dip0.t-ipconnect.de) ft |
| 2026-06-29 02:58:11 +0000 | <dolio> | There is a functor Δ : C → C × C that will take an object A to (A, A). A right adjoint would be G : C × C → C with (A, A) → (X, Y ≅ (A → G X Y). This is a product functor for C if it exists. Two is the monad of this adjunction. η comes from the identity on ΔA transposing to A → Two A... |
| 2026-06-29 02:59:22 +0000 | <dolio> | If you look at the identity X×Y → X×Y, this transposes to Δ(X×Y) → (X, Y). These will be the first and second projections of X×Y. μ for the monad arises from this. |
| 2026-06-29 02:59:30 +0000 | ft | (~ft@p4fc2ac9e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-06-29 02:59:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-06-29 03:01:21 +0000 | ft | (~ft@p3e9bc5ec.dip0.t-ipconnect.de) ft |
| 2026-06-29 03:03:54 +0000 | <dolio> | It's going to run π₁ on the first row and π₂ on second row. |
| 2026-06-29 03:14:38 +0000 | bikeshed | (~bikeshed@user/kidcoconut) kidcoconut |
| 2026-06-29 03:21:04 +0000 | bikeshed | (~bikeshed@user/kidcoconut) (Quit: 23) |
| 2026-06-29 03:26:19 +0000 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-06-29 03:26:39 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-06-29 03:39:57 +0000 | <monochrom> | Ah right, thanks. |
| 2026-06-29 03:41:29 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 2026-06-29 04:01:19 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2026-06-29 04:03:27 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-29 04:06:55 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-29 04:16:17 +0000 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2026-06-29 04:17:16 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-06-29 04:56:31 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-29 05:17:44 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-29 05:40:54 +0000 | michalz | (~michalz@185.246.207.201) |
| 2026-06-29 05:47:13 +0000 | Enrico63 | (~Enrico63@host-87-18-143-75.retail.telecomitalia.it) Enrico63 |
| 2026-06-29 05:47:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-06-29 05:48:18 +0000 | Enrico63 | (~Enrico63@host-87-18-143-75.retail.telecomitalia.it) (Client Quit) |
| 2026-06-29 05:49:29 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-06-29 05:49:49 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-06-29 05:59:22 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2026-06-29 06:13:51 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-29 06:29:15 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-06-29 06:33:41 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-29 06:37:47 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2026-06-29 06:40:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-29 06:42:00 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-29 06:43:27 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-06-29 06:47:08 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-29 06:47:19 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-29 06:48:56 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-29 06:53:09 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Quit: rainbyte) |
| 2026-06-29 06:53:39 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-29 06:56:43 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 264 seconds) |
| 2026-06-29 06:57:24 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-06-29 07:00:31 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-29 07:03:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd19:dfa1:d2a9:f5b7) |
| 2026-06-29 07:06:36 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-29 07:08:10 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2026-06-29 07:17:30 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-06-29 07:24:15 +0000 | chele | (~chele@user/chele) chele |
| 2026-06-29 07:31:43 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-29 07:35:23 +0000 | ft | (~ft@p3e9bc5ec.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-29 08:00:08 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd19:dfa1:d2a9:f5b7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-29 08:14:10 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2026-06-29 08:14:30 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-29 08:14:57 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-29 08:16:09 +0000 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 248 seconds) |
| 2026-06-29 08:25:23 +0000 | acidjnk | (~acidjnk@p200300d6e74def72950e18d1a56d801b.dip0.t-ipconnect.de) acidjnk |
| 2026-06-29 08:25:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def72950e18d1a56d801b.dip0.t-ipconnect.de) acidjnk |
| 2026-06-29 08:40:58 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-29 08:49:06 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection) |
| 2026-06-29 08:49:06 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-29 08:49:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-06-29 08:49:06 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-06-29 08:49:06 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-29 08:49:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-29 08:49:33 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-29 08:49:34 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-29 08:49:38 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-29 08:49:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-29 08:51:16 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-06-29 08:54:20 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-29 08:55:40 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2026-06-29 09:09:14 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-06-29 09:09:40 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-29 09:10:20 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-06-29 09:10:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-29 09:11:03 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:c64a:f69:5048:9489) nschoe |
| 2026-06-29 09:11:27 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-29 09:11:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-29 09:18:19 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 264 seconds) |
| 2026-06-29 09:18:52 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-06-29 09:22:58 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-29 09:37:24 +0000 | hayhaystack | (~husshpupp@user/husshpuppy) (Quit: Lost terminal) |
| 2026-06-29 09:48:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-06-29 09:51:25 +0000 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-06-29 09:52:58 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 267 seconds) |
| 2026-06-29 09:53:09 +0000 | socksbuny5 | socksbuny |
| 2026-06-29 09:55:57 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-29 09:56:05 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-29 09:56:50 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-29 09:56:56 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 245 seconds) |
| 2026-06-29 09:59:55 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-29 10:01:54 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 248 seconds) |
| 2026-06-29 10:02:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd19:dfa1:d2a9:f5b7) |
| 2026-06-29 10:09:25 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2026-06-29 10:11:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-29 10:12:41 +0000 | Digit | (~user@29.47.7.51.dyn.plus.net) |
| 2026-06-29 10:18:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-06-29 10:30:19 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-06-29 10:30:21 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-29 10:35:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-29 10:37:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-29 10:45:50 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-29 10:51:14 +0000 | gehmehgeh | gmg |
| 2026-06-29 10:51:18 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:53eb:73df:8a2c:4b65) |
| 2026-06-29 10:51:18 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:53eb:73df:8a2c:4b65) (Changing host) |
| 2026-06-29 10:51:18 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-06-29 10:53:10 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-06-29 10:57:57 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 265 seconds) |
| 2026-06-29 11:00:25 +0000 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-06-29 11:00:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-29 11:03:45 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 265 seconds) |
| 2026-06-29 11:06:12 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-29 11:07:18 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-29 11:11:10 +0000 | Googulator52 | (~Googulato@80-95-87-76.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-29 11:16:11 +0000 | Googulator | (~Googulato@80-95-87-76.pool.digikabel.hu) |
| 2026-06-29 11:16:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-06-29 11:16:57 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-06-29 11:19:28 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-06-29 11:19:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-06-29 11:20:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-29 11:20:42 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-29 11:29:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e4cf:554c:fb5:7866) |
| 2026-06-29 11:34:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-29 11:35:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-29 11:38:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-29 11:38:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-29 11:39:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-29 11:46:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-06-29 11:52:36 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 244 seconds) |
| 2026-06-29 11:54:23 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd19:dfa1:d2a9:f5b7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-29 11:55:00 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-29 11:57:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-06-29 12:08:13 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd19:dfa1:d2a9:f5b7) |
| 2026-06-29 12:20:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-29 12:25:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-06-29 12:37:06 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |