Protocol choice and iteration for the free cornering

DOI10.1016/J.JLAMP.2023.100942MaRDI QIDQ6151626zbMATH OpenOpenAlexFDO

Authors Chad Nester, Niels Voorneveld

Publication date 12 February 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2305.16899

zbMATH Keywords

category theorycomputational effectsconcurrencydouble categories

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing that they inherit significant categorical structure from the free cornering, including that they form monoidal double categories. We also establish some elementary properties of the novel structure they contain. Further, we give a model of the free cornering in terms of strong functors and strong natural transformations, inspired by the literature on computational effects.

Cites work

• A mathematical theory of resources
• A survey of graphical languages for monoidal categories
• An abstract formulation for rewrite systems
• Catégories structurées
• Concurrent Process Histories and Resource Transducers
• Containers: Constructing strictly positive types
• Data types in distributive categories
• Framed bicategories and monoidal fibrations
• Handling algebraic effects
• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 2139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Interaction laws of monads and comonads
• Model structures on the category of small double categories
• Notions of computation and monads
• On the \(\pi\)-calculus and linear logic
• Propositions as sessions
• Runners for interleaving algebraic effects
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• The logic of message-passing
• The uniformity principle on traced monoidal categories
• What Do We Want a Foundation to Do?
• What is a free double category like?
• When is a container a comonad?

Cited in

(1)

• NWTP 2022 - special issue

This page was built for publication: Protocol choice and iteration for the free cornering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151626)