Lemma 18.4.3. Let \mathcal{C} be a category. Let I be a set. For each i \in I let \mathcal{G}_ i be a presheaf of sets. Then
\mathbf{Z}_{\coprod _ i \mathcal{G}_ i} = \bigoplus \nolimits _{i \in I} \mathbf{Z}_{\mathcal{G}_ i}
in \textit{PAb}(\mathcal{C}).
Comments (0)