Lemma 12.31.1. Let $\mathcal{C}$ be a category.

If $\mathcal{C}$ is an additive category, then the category of inverse systems with values in $\mathcal{C}$ is an additive category.

If $\mathcal{C}$ is an abelian category, then the category of inverse systems with values in $\mathcal{C}$ is an abelian category. A sequence $(K_ i) \to (L_ i) \to (M_ i)$ of inverse systems is exact if and only if each $K_ i \to L_ i \to N_ i$ is exact.

## Comments (0)