Causal Unfoldings and Disjunctive Causes

DOI10.46298/LMCS-19(2:4)2023arXiv2003.06267OpenAlexW3012164407MaRDI QIDQ6135752FDOQ6135752

Authors: Marc de Visme, Glynn Winskel 

Publication date: 26 August 2023

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Abstract: In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to have disjunctive causes in that it can be enabled by any one of multiple sets of causes. Sometimes the sets of causes may be mutually exclusive, inconsistent one with another, and sometimes not, in which case they coexist consistently and constitute parallel causes of the event. The established model of general event structures can model parallel causes. On occasion however such a model abstracts too far away from the precise causal histories of events to be directly useful. For example, sometimes one needs to associate probabilities with different, possibly coexisting, causal histories of a common event. Ideally, the causal histories of a general event structure would correspond to the configurations of its causal unfolding to a prime event structure; and the causal unfolding would arise as a right adjoint to the embedding of prime in general event structures. But there is no such adjunction. However, a slight extension of prime event structures remedies this defect and provides a causal unfolding as a universal construction. Prime event structures are extended with an equivalence relation in order to dissociate the two roles, that of an event and its enabling; in effect, prime causes are labelled by a disjunctive event, an equivalence class of its prime causes. With this enrichment a suitable causal unfolding appears as a pseudo right adjoint. The adjunction relies critically on the central and subtle notion of extremal causal realisation as an embodiment of causal history. Finally, we explore subcategories which support parallel causes as well the key operations needed in developing probabilistic distributed strategies with parallel causes.

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

Recommendations

• Causal unfoldings
• scientific article; zbMATH DE number 7204333
• Event structures for Petri nets with persistence
• Simultaneity in event structures
• Finite processes in cause-effect structures and their composition

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Petri nets, event structures and domains. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Category theoretic structure of setoids
• Title not available (Why is that?)
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rigid families for CCS and the \(\pi\)-calculus
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Composite structure and causality
• Explanatory exclusion and causal exclusion

This page was built for publication: Causal Unfoldings and Disjunctive Causes

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