 Local quantum field operator

A local quantum field operator is supported at a spacetime point, with operator-valued distributions understood by smearing. Products at the same point generally require renormalization; these give composite operators. This is distinct from the topos-theoretic meaning of local operator.