Event Structures as Presheaves —Two Representation Theorems

Glynn Winskel

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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v6i7.20064
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library