A BV-Category of Spacetime Interventions
Quantum Physics
2025-02-27 v1 Logic in Computer Science
Category Theory
Abstract
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.
Cite
@article{arxiv.2502.19022,
title = {A BV-Category of Spacetime Interventions},
author = {James Hefford and Matt Wilson},
journal= {arXiv preprint arXiv:2502.19022},
year = {2025}
}