Bounded below derived category of sheaves ($D^{+}(X)$)

The category $D^{+}(X)$ is obtained from bounded below cochain complexes of sheaves by passing to cochain-homotopy classes of maps and then inverting quasi-isomorphisms. It can equally be modeled by injective resolutions. The cohomology-sheaf functors descend to this localization, and an object is zero exactly when all its cohomology sheaves vanish.

An exact, or distinguished, triangle is one isomorphic to $E\stackrel{f}{\to }F\to \mathrm{Cone}(f)\to E[1]$. For a degreewise short exact sequence $0\to E\to F\to G\to 0$, the map $\mathrm{Cone}(f)\to G$ taking $(v,e)$ to the image of $v$ is a quasi-isomorphism: its kernel is the contractible cone of the identity on $E$. Consequently the short exact sequence defines such a triangle.