If $A$ is a subobject of $B$, and $B$ a subobject of $A$, are they isomorphic? In category theory, a subobject of $X$ is defined as an object $Y$ with a monomorphism, from $Y$ to $X$. If $A$ is a subobject of $B$, and $B$ a subobject of $A$, are they isomorphic? It is not true in general that having monomorphisms going both ways between two objects is sufficient for isomorphy, so it would seem the answer is no.

I ask because I'm working through the exercises in Geroch's Mathematical Physics, and one of them asks you to prove that the relation "is a subobject of" is reflexive, transitive and antisymmetric. But it can't be antisymmetric if I'm right...
I don't think this can be true in general. What if we just take the category consisting of two objects $A$, $B$ and take morphisms $f:A\to B$, $g:B\to A$ with no relations between the morphisms, but forcing associativity. Then certainly $f$ and $g$ are monomorphisms but $A$ and $B$ are not isomorphic (since there are no relations between the morphisms).
In Top (topological speces) take the subspaces of the real line:  $B=[0,1]$ and $A=[0,1]\cup \{4/3\}$ considering the inclusion $B \subset A$ and imbedding map $f: A\to B: x \mapsto x/2$. But $A$ isn't isomorphic  (i.e. homeomorphic) to $B$