Mathematical definition of quantum field theory on a manifold

We give a mathematical definition of quantum field theory on a manifold, and definition of quantization of a classical field theory given by a variational principle.