I read in Awodey's Category Theory book that the definition of isomorphism in category theory is more general than the one in abstract algebra. For example, he says, the definition of isomorphism from abstract algebra doesn't make sense for monoids. Why not?

> 
> ![enter image description here](https://i.stack.imgur.com/WfvFP.png)
> 
> 
>