nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgzzguuzh85g9y0k2az2nd49d3wmqs2zg2hmr2lqzngymgd6afc8sxruhme (nprofile…uhme) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2fpvdepea3xlyxyayf22h7xy6q06kchfeeh8j568n8j07wm49j7qkfq0jd (nprofile…q0jd) Yeah... I get Marcelo's point, but IMO both tree and forest is not a good intuition for what is happening here, so I don't really care too much 😆
And to make it more complicated, if you start with the topos of forests, the actual topos of trees (which is a localisation of the former) is ... equivalent to the topos of forests. It's just that the equivalence does something interesting.
Jon Sterling
npub1hf…9ls8k
2026-02-11 15:10:19 UTC
in reply to nevent1q…0c3n
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kSeen on
wss://relay.ditto.pubPublished at
2026-02-11 15:10:19 UTCEvent JSON
{
"id": "0889ddd0f75678544e563f1dd98a3ac47e99c62bfb90bbd7339b4ac0600a1206",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1770822619,
"kind": 1,
"tags": [
[
"p",
"40848e70573d10523ecae89536d4ad8bb608284855f6357c029a09b4375d4e0f",
"wss://relay.ditto.pub"
],
[
"p",
"5242c6e439ec4df2189d2254abf8c4d01fab62e9ce6e79534799e4ff3b752cbc",
"wss://relay.ditto.pub"
],
[
"p",
"a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"wss://relay.ditto.pub"
],
[
"p",
"0da8f9b24f9feafa9989bca8819ccf67a22b14218b55611b3b18b256c7dcb744",
"wss://relay.ditto.pub"
],
[
"e",
"e9d3059d5edf95c321a959e4ca301d7b4e3454f998a32d7e3dbf963223603287",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/116052631172185621",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgzzguuzh85g9y0k2az2nd49d3wmqs2zg2hmr2lqzngymgd6afc8sxruhme nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2fpvdepea3xlyxyayf22h7xy6q06kchfeeh8j568n8j07wm49j7qkfq0jd Yeah... I get Marcelo's point, but IMO both tree and forest is not a good intuition for what is happening here, so I don't really care too much 😆\n\nAnd to make it more complicated, if you start with the topos of forests, the actual topos of trees (which is a localisation of the former) is ... equivalent to the topos of forests. It's just that the equivalence does something interesting.",
"sig": "bd8fc61a8d2bf0dbf1ef6ee781b85b71863adc34482cae2f51b8f6ec2346691c4f7d76677dfa54ebd4df0d0b022b2c4e5eccde02c266228bd4cab8c757c89b93"
}