Definition 12.22.3. Let $\mathcal{A}$ be an additive category. Let $A^{\bullet , \bullet }$ be a double complex. The *associated simple complex $sA^\bullet $*, also sometimes called the *associated total complex* is given by

(if it exists) with differential

Alternatively, we sometimes write $\text{Tot}(A^{\bullet , \bullet })$ to denote this complex.

## Comments (0)