论文标题

关于$ k $ - 持续性和$ k $ - 等价性的策略和共同学改进的预毛表示的注释

Notes on presheaf representations of strategies and cohomological refinements of $k$-consistency and $k$-equivalence

论文作者

Abramsky, Samson

论文摘要

在本说明中,我们展示了$ k $ -pebble Games的位置策略如何在某些预选时具有自然代表。这些表示完全对应于Abramsky-Brandenburger引入的情境性的捆绑理论模型。我们从这个角度研究了Adam O'Conghaile最近引入的同胞$ K $持续性的概念。

In this note, we show how positional strategies for $k$-pebble games have a natural representation as certain presheaves. These representations correspond exactly to the sheaf-theoretic models of contextuality introduced by Abramsky-Brandenburger. We study the notion of cohomological $k$-consistency recently introduced by Adam O' Conghaile from this perspective.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源