Let Mink be the category of open subsets of Minkowski space with inclusions as morphisms. We have a covariant functor from Mink to uC*alg, the category of unital C* algebras such that every morphism in Mink maps to a monomorphism in uC*alg (isotony). The Poincaré group acts continuously on Mink. There exists a pullback of this action, which is continuous in the norm topology of (Poincaré covariance). Minkowski space has a causal structure. If an open set V lies in the causal complement of an open set U, then the image of the maps and commute (spacelike commutativity). If is the causal completion of an open set U, then is an isomorphism (primitive causality).
This article is incomplete as it is.
This article is a stub. You can help Wikipedia by fixing it.