Exact triangle in a derived category

ID: exact-triangle-in-a-derived-category

An exact, or distinguished, triangle is one isomorphic to . For a degreewise short exact sequence , the map taking to the image of is a quasi-isomorphism: its kernel is the contractible cone of the identity on . Consequently the short exact sequence defines such a triangle.

New to topics? Read the docs here!