Retracing some paths in Process Algebra
Samson Abramsky
TL;DR
This paper employs traced monoidal categories to generalize the 'geometry of interaction' concept, providing examples and relating these ideas to the semantics of computation.
Contribution
It introduces a precise, general framework for 'geometry of interaction' using traced monoidal categories, with diverse examples and computational semantics connections.
Findings
Provides a categorical framework for 'geometry of interaction'
Includes multiple examples of 'particle-style' and 'wave-style' instances
Links these concepts to computational semantics
Abstract
We use traced monoidal categories to give a precise general version of "geometry of interaction". We give a number of examples of both "particle-style" and "wave-style" instances of this construction. We relate these ideas to semantics of computation.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Homotopy and Cohomology in Algebraic Topology · Logic, Reasoning, and Knowledge