Definition 12.18.3. Let $\mathcal{A}$ be an additive category. Let $A^{\bullet , \bullet }$ be a double complex. The *associated simple complex*, denoted $sA^\bullet $, also often called the *associated total complex*, denoted $\text{Tot}(A^{\bullet , \bullet })$, is given by

(if it exists) with differential

## Comments (0)