We recast dataflow in a modern categorical light using profunctors as a geenralisation of relations.The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided,but still we preserve much of the intuitions of a relational modle.The developemtn fits with the view of categoires of models for concurrency and the geenral treatemnt of bisimulation they proivide.In pa5ticular it fits with the recent categorical formulation of feedback using treaced monoidal categories.
展开▼
