0P6V Lemma 5.3.2. The construction (m,π)↦[m,π](m,\pi)\mapsto[m,\pi] defines an isomorphism of differential categories Φ:Δσ(B−diff)→(ΔσB)−diff\Phi:\Delta_{\sigma}(B\operatorname{\!-diff}\nolimits)\to(\Delta_{\sigma}B)\operatorname{\!-diff}\nolimits.