# A BV-Category of Spacetime Interventions

arXiv: https://arxiv.org/abs/2502.19022 · HTML: https://mlsanity.com/paper/2502.19022/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 26 Feb 2025.

## Built on by (most cited first, 1 of 1)

- [Agent policies from higher-order causal functions](https://mlsanity.com/paper/2512.10937/) (2025)

## Abstract (arXiv)

We use the Chu construction to functorially build BV-categories from duoidal categories, demonstrating that candidate models of BV-logic can be cofreely constructed from a fragment of a model of Retor'e's sequencing operator. By using this construction to show that the strong Hyland envelope is a BV-category, we find a way to build a canonical model of spatio-temporal relationships between agents in spacetime from any symmetric monoidal category. The concrete physical interpretation of spacetime events in this model as intervention-context pairs resolves deficiencies in previous attempts to give a general categorical semantics to quantum supermaps.