4
$\begingroup$

What properties of a category have to be fulfilled such that every diagonal $\Delta:X\to X\times X$ is a monomorphism? Is this true for ''reasonable'' categories?

  • 2
    Quote from http://ncatlab.org/nlab/show/diagonal+morphism : _The diagonal morphism is always a regular monomorphism, since it is the equaliser of the two projection maps $X^2\to X$._2011-11-30

1 Answers 1

10

Lemma: In general, if $f\circ g$ is a monomorphism, then $g$ is a monomorphism.

Proof: If $g\circ h_1=g\circ h_2$ then $(f\circ g)\circ h_1=(f\circ g)\circ h_2$, and hence, since $f\circ g$ is a monomorphism, $h_1=h_2$. So $g$ is a monomorphism.

Now, the category theory definition of $\Delta$ is that it is the unique function such that $\pi_1\circ \Delta = \pi_2\circ\Delta = 1_X$. And $1_X$ is a monomorphism, so necessarily $\Delta$ is a monomorphism.

So nothing additional is needed, other than the existence of $X\times X$ as a category-theoretic product.