1: \begin{definition}\label{def:operadic-comparison}

2: In the setting of Theorem \ref{thm:compare-pfa-aqft}:

3: \begin{enumerate}\item The morphism\label{notation:compmorphism} \[\delta : \Ochat \to \Ocbar\] of $\colorc$-colored operads and its image $\deltam$ in $\M$ are called the \emph{comparison morphisms}.  

4: \item The morphism \[\W\deltam : \wochatm \to \wocbarm\] of $\colorc$-colored operads in $\M$ is called the \emph{homotopy comparison morphism}.  

5: \item The adjunction $\deltam_! \dashv (\deltam)^*$ is called the \emph{comparison adjunction}.

6: \item The adjunction $\W\deltam_! \dashv (\W\deltam)^*$ is called the \emph{homotopy comparison adjunction}. 

7: \end{enumerate}

8: \end{definition}

9: