Contracting homotopy

ID: contracting-homotopy

A contracting homotopy on a chain complex is a degree-one map whose displayed identity makes the identity chain-homotopic to zero. It implies that all homology vanishes. The converse is not valid for arbitrary complexes of modules.

New to topics? Read the docs here!