Newest at the top
| 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) |
| 2025-02-26 16:52:00 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f80c89649a85ed7ab43.dip0.t-ipconnect.de) acidjnk |
| 2025-02-26 16:47:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-26 16:45:40 +0100 | ephilalethes | (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) noumenon |
| 2025-02-26 16:43:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 16:42:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-26 16:42:13 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-02-26 16:41:04 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-26 16:40:44 +0100 | littlecoww | (~littlecow@2a09:bac3:311:105::1a:d0) |
| 2025-02-26 16:40:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-02-26 16:40:27 +0100 | littlecow96 | (~littlecow@2a09:bac3:311:105::1a:d0) (Client Quit) |
| 2025-02-26 16:39:25 +0100 | littlecow96 | (~littlecow@2a09:bac3:311:105::1a:d0) |
| 2025-02-26 16:39:16 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-26 16:38:32 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-26 16:36:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-26 16:27:53 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-26 16:25:57 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2025-02-26 16:21:19 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-26 16:21:10 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-02-26 16:21:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-26 16:19:46 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-26 16:19:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-02-26 15:59:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-26 15:55:23 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-02-26 15:55:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 15:51:26 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-02-26 15:41:51 +0100 | alp | (~alp@2001:861:8ca0:4940:de90:3201:9e0e:e126) (Ping timeout: 268 seconds) |