1: \begin{definition}[2-category diagram evaluation] \label{progdiag} The evaluation of a 2-category diagram is defined by perturbing it by an isotopy to a generic 2-category diagram and evaluating the resulting diagram.

2: The result is independent of the choice of isotopy by Theorem \ref{generic2invariance}.

3: \end{definition}

4: