nLab Koopman operator

The ‘’Koopman operator’‘ $C_\phi$ of a morphism $\phi$ is defined by pre-composing with $\phi$. i.e., $C_\phi(f) := f \circ \phi.$

• Wikipedia entry on Koopman operator