What is the relationship between π β and ββ, where π is the Rosolini lifting monad and ββ is the conatural numbers? More generally, can "one-point compactification" be expressed type-topologically?
(ping nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofileβ¦w8t5))
NaΓ―m Camille Favier
npub1avβ¦z5z7z
2025-12-03 20:57:05 UTC
Author Public Key
npub1avwd5p4zn7ndkvjf9qtrsddacax0cvmujryu2qnlxcm6nmlnquwqxz5z7zPublished at
2025-12-03 20:57:05 UTCEvent JSON
{
"id": "61fce91012b8bf675927f6e5803ceadab588e1c4979c8f884796806a9d46d2ef",
"pubkey": "eb1cda06a29fa6db324928163835bdc74cfc337c90c9c5027f3637a9eff3071c",
"created_at": 1764795425,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.ditto.pub/"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.ditto.pub/"
],
[
"proxy",
"https://types.pl/users/ncf/statuses/115657632974663224",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "What is the relationship between π β and ββ, where π is the Rosolini lifting monad and ββ is the conatural numbers? More generally, can \"one-point compactification\" be expressed type-topologically?\n\n(ping nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5)",
"sig": "674775a3ada41c029078348db1c3167370a74533943bac0327bab1e820464a306e48d8367981aad330a8dda316a5d7db3278a056c1c5512947fac5463760b5de"
}