A categorial approach to relativistic locality

Relativistic locality is interpreted in this paper as a web of conditions expressing the compatibility of a physical theory with the underlying causal structure of spacetime. Four components of this web are distinguished: spatiotemporal locality, along with three distinct notions of causal locality, dubbed CL-Independence, CL-Dependence, and CL-Dynamic. These four conditions can be regimented using concepts from the categorical approach to quantum field theory initiated by Brunetti, Fredenhagen, and Verch (2003). A covariant functor representing a general quantum field theory is defined to be causally local if it satisfies the three CL conditions. Any such theory is viewed as fully compliant with relativistic locality. We survey current results indicating the extent to which an algebraic quantum field theory satisfying the Haag–Kastler axioms is causally local.