Deterministic automata ≅[𝔹, Set]: 🤩
Effectful automata≅[𝔹, Set_R]: 🤮
(Set_R is the Kleisli category for an accessible monad R : Set -> Set. For example, R may be the finite powerset monad; in this case the automata are nondeterministic automata)
Throwing in a bit of effects seems to immediately destroy my topos-theoretic understanding of automata...
Zhixuan Yang
npub1v6…ac7s4
2025-03-20 12:31:58 UTC
Author Public Key
npub1v6afl9hlcsdeqcw06j3lqtv48xjqpmfyp2nc5e6k829vlp5ekg3qjac7s4Seen on
wss://relay.momostr.pinkPublished at
2025-03-20 12:31:58 UTCEvent JSON
{
"id": "415fd8ab74f2453be1145d4ed4dc9fe26f27ef9c10aca294c5f34fc00e7974e2",
"pubkey": "66ba9f96ffc41b9061cfd4a3f02d9539a400ed240aa78a67563a8acf8699b222",
"created_at": 1742473918,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@zyang/114194770746671351",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/zyang/statuses/114194770746671351",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/zyang/statuses/114194770746671351",
"pink.momostr"
],
[
"-"
]
],
"content": "Deterministic automata ≅[𝔹, Set]: 🤩 \nEffectful automata≅[𝔹, Set_R]: 🤮 \n\n(Set_R is the Kleisli category for an accessible monad R : Set -\u003e Set. For example, R may be the finite powerset monad; in this case the automata are nondeterministic automata)\n\nThrowing in a bit of effects seems to immediately destroy my topos-theoretic understanding of automata...",
"sig": "9c9b1fad09298d3bb1aa3cb9a1d8c49e35f8d24e38e3088eb77daa4189ac7faac29df0868332adbf41807bfa9a552742c1196111a0392bc911babd35e9b04235"
}