Behaviours of stateful monoidal processes are equivalence classes of compatible finite observations in discard bicategories, yielding functorial feedback semantics and a categorified compactness theorem for closed relations.
The calculus of signal flow diagrams I: Linear relations on streams.Information and Computation, 252:2–29, February 2017
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Behaviours of stateful monoidal processes are equivalence classes of compatible finite observations in discard bicategories, yielding functorial feedback semantics and a categorified compactness theorem for closed relations.