Corollary 6.3.16. Let \(C\) be a stable \(\infty \)-category equipped with a t-structure. For every short exact sequence \[ 0 \to X \hookrightarrow Y \twoheadrightarrow Z \to 0 \] in \(C^{\heartsuit }\), the sequence \(X \to Y \to Z\) is an exact sequence in \(C\).
Proof. This is an immediate consequence of part (4) of Proposition 6.3.15. □
Generated from the authoritative LaTeX source.