To be merged with generating function in classical mechanics.
Types of quantum field thories
In physics and specifically in Hamiltonian mechanics what is called a canonical transformation is an equivalence or at least a homomorphism of phase spaces. The term is to be read as short for “transformation of canonical coordinates”.
Since phase spaces are mathematically identified with symplectic manifolds, canonical transformations are symplectomorphisms. In fact, the notion as used in physics is a bit more general, and subsumes also certain Lagrangian correspondences between symplectic manifolds . The “generating functions” for canonical transformations as used in the physics literture correspond to functions on the correspondence space . (Weinstein 83)
The standard definition, interpreted in symplectic geometry appears for instance on p. 206 of
Discussion of generating functions starts on p. 266 there.
The formalization in terms of Lagrangian correspondences is discussed on p. 5 of