| 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? |