The convolution theorem states that the Fourier Transform of a Convolution of two functions is equal to the product of their Fourier transforms.

Categorical Structure

From Category Theory perspective, the Fourier Transform is an Isomorphism from the space of signals under Convolution to the space of spectra under pointwise multiplication: it converts the convolution product to ordinary multiplication, and the inverse Fourier transform is its inverse morphism.