Complex in an abelian category (source code)

= Complex in an abelian category

A complex in an abelian category is a sequence $\cdots\to A_{n+1}\xrightarrow{d_{n+1}}A_n\xrightarrow{d_n}A_{n-1}\to\cdots$ with $d_nd_{n+1}=0$.