Definition 13.34.1. Let $\mathcal{D}$ be an additive category with arbitrary direct sums. A *compact object* of $\mathcal{D}$ is an object $K$ such that the map

\[ \bigoplus \nolimits _{i \in I} \mathop{\mathrm{Hom}}\nolimits _{\mathcal{D}}(K, E_ i) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{\mathcal{D}}(K, \bigoplus \nolimits _{i \in I} E_ i) \]

is bijective for any set $I$ and objects $E_ i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ parametrized by $i \in I$.

## Comments (0)