MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
For lattices such elements are called "meet-prime". – Colin McQuillan Sep 19 '12 at 20:20

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|cite|improve this answer

Your Answer


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.