0
$\begingroup$

In which categories does $|\text{Hom}(A,B)| = |\text{Hom}(B,A)| \neq 0$ and $|\text{Hom}(A,A)| = |\text{Hom}(B,B)|$ imply that $A$ and $B$ are isomorphic?

  • 1
    I'm not even convinced it holds for infinite sets. Asaf probably knows. If you have natural isomorphisms $\textrm{Hom}(A, -) \cong \textrm{Hom}(B, -)$ then $A \cong B$ by Yoneda's lemma. I think that's the best one could hope for.2011-10-31

2 Answers 2

1

I am not expert in category theory, so I don't know if your question as a good answer or it is too general. Also I have some doubt that the notation $|\cdot|$ makes sense in general, because the class of morphismsmight not be a set. But maybe the following observation can help. In some cases you need an abstract version of Cantor-Bernstein theorem. For instance, take the category of sets with injections. In this case it suffices that the two sets $Hom(A,B)$ and $Hom(B,A)$ are both not empty to conclude, thanks to Cantor-Bernstein theorem, that $A$ and $B$ are isomorphic.

Here, instead, a counterexample: take the category of groups with monomorphisms: then the free group on two generators $\mathbb F_2$ embeds into the one on three generators $\mathbb F_3$ and then $Hom(\mathbb F_2,\mathbb F_3)\neq\emptyset$. Now, it's a classical result that also $Hom(\mathbb F_3,\mathbb F_2)\neq\emptyset$ but $\mathbb F_2$ is not isomorphic to $\mathbb F_3$.

  • 2
    [at]Valerio Capraro: the "union" $\amalg_{a,b}\hom(a,b)$ of *all* the morphisms in the category might not be (and usually isn't) a set; but in any sensible (i.e. useful) definition of a category, for any couple of objects $a,b$ the collection of morphisms $\hom(a,b)$ *is* a set (I'm not an expert in these subtleties too, but I would say that this is true at least in any 1-category).2011-10-31
0

This condition holds for preorder seen as categories: that's because if there's a morphism $A \stackrel{f}{\to} B$ and a morphisms $B \stackrel{g}{\to} A$ then $g\circ f = 1_A$ and $f \circ g = 1_B$. I'm not aware if this condition holds for more general categories, but it seems a too weak condition so I don't think it's worth to considered so general categories (but maybe I'm just ignorant) .