Definition 12.16.1. Let $\mathcal{A}$ be an additive category. The *category of graded objects of $\mathcal{A}$*, denoted $\text{Gr}(\mathcal{A})$, is the category with

objects $A = (A^ i)$ are families of objects $A^ i$, $i \in \mathbf{Z}$ of objects of $\mathcal{A}$, and

morphisms $f : A = (A^ i) \to B = (B^ i)$ are families of morphisms $f^ i : A^ i \to B^ i$ of $\mathcal{A}$.

## Comments (0)

There are also: