Event Structures as Presheaves —Two Representation Theorems
AbstractThe category of event structures is known to embed fully
and faithfully in the category of presheaves over pomsets. Here a characterisation
of the presheaves represented by event structures is presented.
The proof goes via a characterisation of the presheaves represented by
event structures when the morphisms on event structures are "strict" in
that they preserve the partial order of causal dependence.
How to Cite
Winskel, G. (1999). Event Structures as Presheaves —Two Representation Theorems. BRICS Report Series, 6(7). https://doi.org/10.7146/brics.v6i7.20064
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.