首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题: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.
国家哲学社会科学文献中心版权所有