nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx (nprofile…pmdx) One defines surjectivity exactly as you say, which is equivalent to saying that the fibers of f are inhabited.
If you define this using \Sigma rather than \exists, you actually get the definition of split-surjection (=retraction) instead.
Martin Escardo /
npub1t3…fg3z4
2025-05-02 13:56:53
in reply to nevent1q…ptpl
Author Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4Seen on
wss://relay.mostr.pubPublished at
2025-05-02 13:56:53Event JSON
{
"id": "00177e72f73783515139cd369b396ecfa6563993b2d598b8a04cf40ba0f9ce57",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1746194213,
"kind": 1,
"tags": [
[
"p",
"4799d2d48ee1532b5d44d40457b300731ef85c244a0949b487fac142c09a8083",
"wss://relay.mostr.pub"
],
[
"p",
"0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"wss://relay.mostr.pub"
],
[
"e",
"db0b63cac2de4f8a1338aef56518619e0862c5dfe7b40f2d70aaf98dd388d67f",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/114438583965429533",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx One defines surjectivity exactly as you say, which is equivalent to saying that the fibers of f are inhabited.\n\nIf you define this using \\Sigma rather than \\exists, you actually get the definition of split-surjection (=retraction) instead.",
"sig": "6514057799f3918d763c9b5a8269728318612e44a43157456780856456debeb9f54b615b61a45128d6c3784e5235cad7690805aecb27393fc62191d18595343c"
}