1: \begin{definition}\label{def.str.res.E}

2: Let $\cC$ be a category of schemes which is closed under localization. Say that canonical, functorial

3: embedded resolution with boundaries holds for $\cC$, if the statements in Theorem \ref{thm.main.3} (a) hold

4: for all triples $(X,Z,\cB)$ where $Z$ is a regular excellent scheme, $\cB$ is a simple normal crossing

5: divisor on $Z$ and $X$ is a closed subscheme of $X$ which is in $\cC$.

6: \end{definition}

7: