2026-03-22T23:46:29Z https://nostr.now Nostr notes by Naïm Camille Favier Naïm Camille Favier https://nostr.now/npub1avwd5p4zn7ndkvjf9qtrsddacax0cvmujryu2qnlxcm6nmlnquwqxz5z7z https://pool.jortage.com/typespl/accounts/avatars/110/428/469/513/190/516/original/cdca51f234e14fca.jpg https://pool.jortage.com/typespl/accounts/avatars/110/428/469/513/190/516/original/cdca51f234e14fca.jpg https://nostr.now/nevent1qqsxrl8fzqft30m8tynldevq8n4d4dvgu8zf08y03predqr2n4rd9mczyr43eksx5206dkejfy5pvwp4hhr5elpn0jgvn3gz0umr02007vr3crrz4w4 What is the relationship between 𝓛 ℕ and ℕ∞, where 𝓛 ... What is the relationship between 𝓛 ℕ and ℕ∞, where 𝓛 is the Rosolini lifting monad and ℕ∞ is the conatural numbers? More generally, can &#34;one-point compactification&#34; be expressed type-topologically?<br/><br/>(ping <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5</span> (<span class="italic">nprofile…w8t5</span>)</a></span>) 2025-12-03T20:57:05Z