Newest at the top
| 2025-02-26 18:53:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f80fcc6edffa39079b3.dip0.t-ipconnect.de) |
| 2025-02-26 18:52:24 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8040a776c2da6f4573.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-26 18:48:57 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-26 18:48:20 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-26 18:47:19 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2025-02-26 18:46:12 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-02-26 18:40:33 +0100 | ephilalethes | (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2025-02-26 18:40:24 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) (Quit: Leaving) |
| 2025-02-26 18:38:22 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-26 18:37:31 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-26 18:28:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-26 18:25:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-02-26 18:21:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-26 18:21:28 +0100 | califax_ | califax |
| 2025-02-26 18:20:36 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-02-26 18:20:16 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-02-26 18:19:54 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-26 18:18:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-26 18:17:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 18:16:51 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-02-26 18:11:12 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2025-02-26 18:05:04 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-26 18:01:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-26 18:01:33 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-26 17:56:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-26 17:54:46 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 2025-02-26 17:48:24 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) |
| 2025-02-26 17:43:57 +0100 | Digitteknohippie | Digit |
| 2025-02-26 17:43:29 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-26 17:42:14 +0100 | Square | (~Square@user/square) Square |
| 2025-02-26 17:40:48 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-02-26 17:40:11 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-26 17:37:20 +0100 | alp | (~alp@2001:861:8ca0:4940:b08e:d43c:4f53:7730) |
| 2025-02-26 17:35:41 +0100 | jespada | (~jespada@2800:a4:230f:300:5891:d568:1db3:6726) jespada |
| 2025-02-26 17:35:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8040a776c2da6f4573.dip0.t-ipconnect.de) acidjnk |
| 2025-02-26 17:35:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-26 17:33:23 +0100 | tomsmeding | would prefer a symbol other than `->' for a partial function |
| 2025-02-26 17:32:43 +0100 | <ski> | and then you meant to claim that the partial function `g : Y -> X' was total on this subset of `Y' (which can be written `Img(f)', or `f[X]', or `exists_f X') |
| 2025-02-26 17:32:42 +0100 | jespada | (~jespada@2800:a4:2358:c700:f051:395a:5b5:8278) (Ping timeout: 246 seconds) |
| 2025-02-26 17:31:39 +0100 | <cheater> | ok, yeah |
| 2025-02-26 17:31:07 +0100 | <ski> | but presumably you didn't mean it like that, and so you likely meant to say "range" or "image", instead of "codomain". the range of `f' (or the image of `f' (on `X')) is the subset of the codomain `Y', that is actually "hit" by `f', the subset of values that you can actually obtain as outputs |
| 2025-02-26 17:30:42 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f80c89649a85ed7ab43.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-02-26 17:30:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 17:29:38 +0100 | <ski> | so, claiming that `g : Y -> X' is total on a set that contains the codomain of `f' means that `g' is total on a set which contains `Y'. iow, `g' is just a total function, no need to complicate the phrasing |
| 2025-02-26 17:29:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 2025-02-26 17:28:44 +0100 | <ski> | if you say `f : X -> Y', then `Y' is the codomain of `f' |
| 2025-02-26 17:28:06 +0100 | <cheater> | huh? |
| 2025-02-26 17:27:36 +0100 | <ski> | cheater : "they are total on sets that contain each other's codomains" -- no. `Y' *is* the codomain of `f', and `X' *is* the codomain of `g'. doesn't matter whether every element of those sets are "hit" by the respective functions |
| 2025-02-26 17:08:23 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-26 16:55:58 +0100 | littlecoww | (~littlecow@2a09:bac3:311:105::1a:d0) (Quit: Client closed) |