0P7E Theorem 6.1.6. The construction of Lemma 6.1.5 induces an isomorphism of differential graded pointed categories Θ:Δλ′(𝒰∙)→∼ℋ+\Theta:\Delta^{\prime}_{\lambda}({\mathcal{U}}^{\bullet})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}{\mathcal{H}}^{+}.