Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
1  
For lattices such elements are called "meet-prime". –  Colin McQuillan Sep 19 '12 at 20:20

1 Answer 1

Any category with a zero object (e.g., pointed sets) has the property.

Any category with a terminal object $1$ such that every object $C$ is either initial or has a point $1 \to C$ has the property. For example, the category of sets or of topological spaces.

Most toposes do not satisfy the property: if $C$ and $D$ are subterminal, then $K = C\times D = C \wedge D$ usually produces a counterexample.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.