时空干预的BV范畴

我们采用 Chu构造法从duoidal范畴中函式地构建BV范畴，表明BV逻辑的候选模型可从Retoré序列算子片段中 cofreely 构建。通过该构造证明强Hyland包络是BV范畴，我们发现可从任意对称单纯范畴中构建时空中代理人之间的时空关系的规范模型。该模型中将时空事件解释为干预情境对，解决了先前尝试为量子超映射提供一般范畴语义的缺陷。