文章基本信息

标题：Event Structures as Presheaves —Two Representation Theorems
本地全文：下载
作者：Glynn Winskel
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1999
卷号：6
期号：7
出版社：Aarhus University
摘要：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.