  We formulate Quantum Energy Inequalities (QEIs) in the framework of locally
covariant quantum field theory developed by Brunetti, Fredenhagen and Verch,
which is based on notions taken from category theory. This leads to a new
viewpoint on the QEIs, and also to the identification of a new structural
property of locally covariant quantum field theory, which we call Local
Physical Equivalence. Covariant formulations of the numerical range and
spectrum of locally covariant fields are given and investigated, and a new
algebra of fields is identified, in which fields are treated independently of
their realisation on particular spacetimes and manifestly covariant versions of
the functional calculus may be formulated.
