0NN1
Proof. The result follows from theorem 6.7 and from the
universal property of stabilization (i.e., [53, 1.4.5.5]). Note
that stabilization preserves colimits and sends split-exact sequences to cofiber sequences, so the split-exact
sequence (6.2) is sent to a split cofiber sequence
in .
∎