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!