Lemma 13.4.14. Let $\mathcal{D}$ be a pre-triangulated category. If $\mathcal{D}$ has countable products, then $\mathcal{D}$ is Karoubian. If $\mathcal{D}$ has countable coproducts, then $\mathcal{D}$ is Karoubian.

Proof. Assume $\mathcal{D}$ has countable products. By Homology, Lemma 12.4.3 it suffices to check that morphisms which have a right inverse have kernels. Any morphism which has a right inverse is an epimorphism, hence has a kernel by Lemma 13.4.12. The second statement is dual to the first. $\square$

Comment #3412 by Herman Rohrbach on

Typo: in the statement of the lemma, the sentence "If $\mathcal{D}$ has countable products, then $\mathcal{D}$ is Karoubian." appears twice.

Comment #3471 by on

Although it is better not to have the statement repeated, mathematically speaking there is nothing wrong with doing so! Thanks and see fix here.

There are also:

• 13 comment(s) on Section 13.4: Elementary results on triangulated categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).