Pré-Publication, Document De Travail Année : 2025

A BV-Category of Spacetime Interventions

Résumé

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é'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.

Fichier principal
Vignette du fichier
2502.19022v1.pdf (407.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05213710 , version 1 (18-08-2025)

Licence

Identifiants

Citer

James Hefford, Matt Wilson. A BV-Category of Spacetime Interventions. 2025. ⟨hal-05213710⟩
456 Consultations
144 Téléchargements

Altmetric

Partager

  • More