BV-categories of spacetime interventions

DOI10.1007/S10485-026-09894-8MaRDI QIDQ7397036zbMATH OpenFDO

Authors Matt Wilson

Publication date 2026

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10485-026-09894-8

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

Cites work

• (Co)end Calculus
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• -autonomous envelopes and conservativity
• A categorical semantics for causal structure
• A logical basis for quantum evolution and entanglement
• A profunctorial semantics for quantum supermaps
• A semantic proof of generalised cut elimination for deep inference
• A system of interaction and structure
• Categorical probabilistic theories
• Causal categories: relativistically interacting processes
• Causality in higher order process theories
• Chu. I: Cofree equivalences, dualities and *-autonomous categories
• Coend Optics for Quantum Combs
• Commutativity
• Deep inference and probabilistic coherence spaces
• Discrete quantum causal dynamics
• Distributors on a tensor category
• Doubles for monoidal categories
• Glueing and orthogonality for models of linear logic
• Higher-order causal theories are models of BV-logic
• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 1463531 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• scientific article; zbMATH DE number 1841813 (Why is no real title available?)
• Linearly distributive functors
• Monoidal bicategories and Hopf algebroids
• Monoidal functors, species and Hopf algebras
• On closed categories of functors
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Proof theory in the abstract
• The consistency and complexity of multiplicative additive system virtual
• The produoidal algebra of process decomposition
• Theoretical framework for higher-order quantum theory
• Theoretical framework for quantum networks
• Weakly distributive categories

This page was built for publication: BV-categories of spacetime interventions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7397036)