Andrej Bauer on Nostr: Wikipedia links U₁(1)-bundle to U(1)-bundle, so I guess they're the same thing.
Wikipedia links U₁(1)-bundle to U(1)-bundle, so I guess they're the same thing.
Andrej Bauer
npub18a…kszuj
2025-10-20 19:15:33 UTC
in reply to nevent1q…a533
Author Public Key
npub18a63tjqchu08dmrzfs644v3wysydjq4kdqjx2xh66qdx02zk4a9qtkszujSeen on
wss://relay.momostr.pinkPublished at
2025-10-20 19:15:33 UTCEvent JSON
{
"id": "968a596be1a5dd3628f27d7f6e7948b2fb1b53e077b9e4fc6f15d6e7fbe21ae3",
"pubkey": "3f7515c818bf1e76ec624c355ab22e2408d902b66824651afad01a67a856af4a",
"created_at": 1760987733,
"kind": 1,
"tags": [
[
"p",
"3f7515c818bf1e76ec624c355ab22e2408d902b66824651afad01a67a856af4a"
],
[
"e",
"2a4ddb8106b4d12902ff4f73fe5b17d3307775a56d38dc592da9d5502a0afb4f",
"",
"reply",
"1095bedfc4d4ab3fb7cd765bff66ef206f583ad661cf00f1977f0608a8c8145d"
],
[
"p",
"1095bedfc4d4ab3fb7cd765bff66ef206f583ad661cf00f1977f0608a8c8145d"
],
[
"e",
"2b88e4fafbb5e56a5aa0f95b9927df68020f2bd62d9ec1931b48bbec7dd39474",
"",
"root",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"p",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"proxy",
"https://mathstodon.xyz/@andrejbauer/115408092135377601",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/115408092135377601",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/andrejbauer/statuses/115408092135377601",
"pink.momostr"
],
[
"-"
]
],
"content": "Wikipedia links U₁(1)-bundle to U(1)-bundle, so I guess they're the same thing.",
"sig": "e6339178c903db86c8a74b0f08506745f53d8bd0114101efbdf397c8ea80016049dd7a52b4f6c4e60749d0f885a9f61746cbce7853afd7abcf6d312d5ed52f18"
}