  We construct a space of quantum states and an algebra of quantum observables,
over the set of all metrics of arbitrary but fixed signature, defined on a
manifold. The construction is diffeomorphism invariant, and unique up to
natural isomorphisms.
