Sorry, that should have been a

```
\mapsto
```

instead of a

```
\to
```

Have fixed it now.

So the $S$-matrix $S$ reads in a local functional (the interaction term) and produces an operator valued distribution (which in turn sends any adiabatic switching to the corresponding scattering operator) and the operation $Z$ sends local interactions to local interactions (adding or removing “counter-term” interactions at higher/lower energy).

Eventually I’ll write out the statement of the theorem and the proof in full detail. For the moment I nedded to record the references where the proofs may be found.

]]>related by a unique natural transformation $Z \colon V \to V'$

So $V$ and $V'$ are functors from where to where?

]]>started a minimum at *main theorem of perturbative renormalization theory*