Zhixuan Yang on Nostr: Wait, deterministic labelled transition systems form a presheaf category? 🤔 This ...
Wait, deterministic labelled transition systems form a presheaf category? 🤔 This sounds like a very useful fact but I haven't seen it before
Published at
2025-03-15 00:11:49 UTCEvent JSON
{
"id": "d44134118f2d9830ec111765a77ad17240aeeea6ebfc9522dcb3b295f3e86336",
"pubkey": "66ba9f96ffc41b9061cfd4a3f02d9539a400ed240aa78a67563a8acf8699b222",
"created_at": 1741997509,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@zyang/114163548758818311",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/zyang/statuses/114163548758818311",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/zyang/statuses/114163548758818311",
"pink.momostr"
],
[
"-"
]
],
"content": "Wait, deterministic labelled transition systems form a presheaf category? 🤔 This sounds like a very useful fact but I haven't seen it before",
"sig": "2c33db4b7e7db2b2550505e5bfb5432da1e3cfb489bf3124d34b7b09f1b5db90191470c2daaa872098c9129ad888beda28b90b47b95c886475f811cb01e6698c"
}
