Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence
Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence
复制标题
关于策略的 presheaf 表示以及 k-一致性和 k-等价性的上同调细化的注释
DOI：
10.48550/arxiv.2206.12156
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
S. Abramsky
中科院分区：
文献类型：
--
作者：
S. Abramsky
在这篇笔记中，我们展示了k-Pebble对策的位置策略如何作为某些预留物具有自然的表示。这些表述恰好符合阿布拉姆斯基-勃兰登堡提出的语境理论模型。我们从这个角度研究了亚当·孔海尔最近提出的上同调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 Ó Conghaile from this perspective.