nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm (nprofile…ztfm) Of course, if my conjecture holds true, this would imply in particular that the one-sided condition would imply the two-sided one.
As for the potential counterexample, I'm not sure that I'm following. You are looking two different topologies on X, one of which is indiscrete and the other one of which is something interesting? And then you're looking at X × Y → X where X × Y carries the product topology of the interesting topology on X and the base codomain carries the indiscrete topology? Then the projection is not open, right? And if the roles of the topologies of X are reversed, then the projection is not necessarily continuous.
Maybe I'm misunderstanding.
Jakob
npub1at…90vsp
2025-11-25 07:20:01 UTC
in reply to nevent1q…ln67
Author Public Key
npub1at4g3kglwemnmyl7puvfkh6lvtukglp0wtvj0ql6uy67wuuwdjusn90vspSeen on
wss://relay.ditto.pubPublished at
2025-11-25 07:20:01 UTCEvent JSON
{
"id": "818a03b960000321db17f93fa0ae10ba671ad35410015b176ab7d0c329d63f05",
"pubkey": "eaea88d91f76773d93fe0f189b5f5f62f9647c2f72d92783fae135e7738e6cb9",
"created_at": 1764055201,
"kind": 1,
"tags": [
[
"p",
"4799d2d48ee1532b5d44d40457b300731ef85c244a0949b487fac142c09a8083",
"wss://relay.ditto.pub/"
],
[
"p",
"0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"wss://relay.ditto.pub/"
],
[
"e",
"d1b80bfe2baf3bca2aebd457c417e0c580b65c09c9c51d1dc7b604d8c4a022b1",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jdw/statuses/115609121662140792",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm Of course, if my conjecture holds true, this would imply in particular that the one-sided condition would imply the two-sided one.\n\nAs for the potential counterexample, I'm not sure that I'm following. You are looking two different topologies on X, one of which is indiscrete and the other one of which is something interesting? And then you're looking at X × Y → X where X × Y carries the product topology of the interesting topology on X and the base codomain carries the indiscrete topology? Then the projection is not open, right? And if the roles of the topologies of X are reversed, then the projection is not necessarily continuous.\n\nMaybe I'm misunderstanding.",
"sig": "5cadb4b313d05159d7b4729e36061dcc0be88b0de539c887d51f861f1c25421dfd100161aa04c4c7b4547b107452c645620fa891196446c9434ae5a1ab9b123d"
}