2026-07-26T11:14:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18815 2024-03-06T11:01:56Z ddc:004 open_access

Composition and Recursion for Causal Structures Basold, Henning Ralaivaosaona, Tanjona Causal morphisms Final Coalgebras Final Chains Metric Maps Guarded Recursion Traced Symmetric Monoidal Category Causality appears in various contexts as a property where present behaviour can only depend on past events, but not on future events. In this paper, we compare three different notions of causality that capture the idea of causality in the form of restrictions on morphisms between coinductively defined structures, such as final coalgebras and chains, in fairly general categories. We then focus on one presentation and show that it gives rise to a traced symmetric monoidal category of causal morphisms. This shows that causal morphisms are closed under sequential and parallel composition and, crucially, under recursion. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Henning Basold and Tanjona Ralaivaosaona 2023 Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2023.18 urn:nbn:de:0030-drops-188157 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.18 eng https://creativecommons.org/licenses/by/4.0/legalcode