Isomorphism and $\mathrm{id}$ In a category I have two objects $a$ and $b$ and a morphism $m$ from $a$ to $b$ and one $n$ from $b$ to $a$. Is this always an isomorphism? Why is it emphasized that this has to be true, too: $m \circ n = \mathrm{id}_b$ and $n \circ m = \mathrm{id}_a$?
I am looking for an example in which the id-part is not true and therefore $m$ and $n$ are not isomorphic.

If you have no restrictions on m and n, then clearly they cannot be isomorphisms in general.  For instance, take any two groups G and H and let m: G --> H, n: H --> G be the zero homomorphisms.
Even if you say that n and m are monomorphisms, then it is still not true in general that they are isomorphisms.  I believe it is true however if your category is one whose objects are sets with additional structure. See this question: If $A$ is a subobject of $B$, and $B$ a subobject of $A$, are they isomorphic?.
