Event Structures as Presheaves —Two Representation Theorems

Authors

  • Glynn Winskel

DOI:

https://doi.org/10.7146/brics.v6i7.20064

Abstract

The 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.

Downloads

Published

1999-01-07

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