When H is finite-dimensional, S (H) can naturally be identified with holomorphic Fock space for H *, since in the standard way S (H) are just homogeneous polynomials of degree k on H * and the inner products match up. Moreover, S (H) has functorial properties. Most importantly