- You're right, Vanessa, this business about not seeing your hand disappear is a local question, and the concept of 'horizon' is global. There's no way to tell if you've crossed a horizon at the moment you cross it - it's like "having the happiest moment of your life".
I've never heard anyone call tensor networks "Penrose diagrams". Category theorists think of them as a special case of "string diagrams" in monoidal categories, so that's what I usually call them.
John Carlos Baez
npub1nf…3nqe4
2024-11-22 00:33:15 UTC
in reply to nevent1q…3fzq
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2024-11-22 00:33:15 UTCEvent JSON
{
"id": "b4173db56ac123a5cab6da2d3558aec711c2b72bd7b7554467c4de45e03dba64",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1732235595,
"kind": 1,
"tags": [
[
"e",
"da9b23c95924618416638dcbd87e8e9bbf45d341af3e55ca630070d1f10271bc",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"bf9578cc9bef30c883d3faa9773c931f399a5bc0a027d1c386e3275881a0753f",
"",
"reply",
"ab8359fd7120d111bb83e367b45aecdf6a9d881d76ef6680117a8b4ce055a82e"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/113523791965204434",
"web"
],
[
"p",
"ab8359fd7120d111bb83e367b45aecdf6a9d881d76ef6680117a8b4ce055a82e"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/113523791965204434",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/113523791965204434",
"pink.momostr"
],
[
"-"
]
],
"content": "- You're right, Vanessa, this business about not seeing your hand disappear is a local question, and the concept of 'horizon' is global. There's no way to tell if you've crossed a horizon at the moment you cross it - it's like \"having the happiest moment of your life\".\n\nI've never heard anyone call tensor networks \"Penrose diagrams\". Category theorists think of them as a special case of \"string diagrams\" in monoidal categories, so that's what I usually call them.",
"sig": "333140eb0864f4ec8c9578f3a8cfc06076aa5f893184e07cfc5bc2889af97545140622de00f427982f7a054e67d2b9d56c3f78756cf99a184915358edbd1177e"
}