License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2023.18
URN: urn:nbn:de:0030-drops-188157
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18815/
Go to the corresponding LIPIcs Volume Portal

Basold, Henning ; Ralaivaosaona, Tanjona

Composition and Recursion for Causal Structures

pdf-format:
LIPIcs-CALCO-2023-18.pdf (0.8 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{basold_et_al:LIPIcs.CALCO.2023.18,
  author =	{Basold, Henning and Ralaivaosaona, Tanjona},
  title =	{{Composition and Recursion for Causal Structures}},
  booktitle =	{10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  pages =	{18:1--18:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-287-7},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{270},
  editor =	{Baldan, Paolo and de Paiva, Valeria},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/18815},
  URN =		{urn:nbn:de:0030-drops-188157},
  doi =		{10.4230/LIPIcs.CALCO.2023.18},
  annote =	{Keywords: Causal morphisms, Final Coalgebras, Final Chains, Metric Maps, Guarded Recursion, Traced Symmetric Monoidal Category}
}

Keywords: Causal morphisms, Final Coalgebras, Final Chains, Metric Maps, Guarded Recursion, Traced Symmetric Monoidal Category
Collection: 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
Issue Date: 2023
Date of publication: 02.09.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI