The plethystic monoidal product, or the substitution product of Joyal species, as a categorification of functional composition.