I'm looking for interesting examples and non-examples of the following property:

Let $\mathcal{C}$ be a category admitting finite products. An object $K$ has the property (*) if: $$\forall C,D\in \mathcal{C}(\exists C\times D\to K\Rightarrow \exists C\to K\ or\ \exists D\to K).$$

If the category has internal homs then by some abstract nonsense this can be reformulated as:

$K$ has the property that $\nexists C\to K$ then $\exists hom(C,K)\to K$.

Of course the category should be non-additive (otherwise every object $K$ has property (*) since the product is a coproduct).

The question arose from the subject of graph theory: $K_n$ has property (*) is equivalent to Hedetniemi's Conjecture (that if the categorical product of two graphs is $n$-colorable then one of the graphs is $n$-colorable)

I'm also interested in answers dealing with the tensor product instead of the product.