and
nonabelian homological algebra
For a chain complex, it truncation at some is the chain complex defined by
where .
For connective chain complexes this is the notion of truncated object in an (infinity,1)-category realized in the (infinity,1)-category of chain complexes.