Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Time-dependent processes are often described by machines with an internal state which is updated as time evolves. An external observer cannot see this state and learns about a process only through finite observations of its inputs and outputs, each of which imposes a constraint on the trajectories the process can exhibit. We introduce a semantic construction in which two stateful processes have the same behaviour when they have the same constraints, as determined by finite observations, independent of their internal state. The construction is defined over any preorder-enriched monoidal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.03996
curl -X POST /api/v1/records/arxiv/2607.03996/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.03996/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'