Event Structures as Presheaves--Two Representation Theorems

Glynn Winskel

March 1999

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 dependency

Available as PostScript, PDF, DVI.

 

Last modified: 2003-06-08 by webmaster.