2026-07-26T12:38:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19668 2024-03-06T11:04:36Z ddc:004 open_access

The Produoidal Algebra of Process Decomposition Earnshaw, Matt Hefford, James Román, Mario monoidal categories profunctors lenses duoidal categories We characterize a universal normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a decomposition, possibly containing missing parts. In particular, symmetric monoidal contexts coincide with monoidal lenses and endow them with a novel universal property. We apply this algebraic structure to the analysis of multi-party protocols in arbitrary theories of processes. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Matt Earnshaw and James Hefford and Mario Román 2024 Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2024.25 urn:nbn:de:0030-drops-196688 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25 eng https://creativecommons.org/licenses/by/4.0/legalcode