1: \begin{definition}

2:   A morphism of D-Lie algebroids $F: A \to B$ is a \emph{weak equivalence} when the underlying algebroid morphism is a weak equivalence.

3:   That is, $F$ satisfies (a-e) of Theorem~\ref{thm:infweakequiv}.

4: \end{definition}

5: