This was a question brought up in class(not by me), and I figured I would ask it here.
In a category, we may define a group object as the following:
With this definition, we may use also define homomorphism of group object.
The question that was brought up is that the in a regular group, we define homomorphism as functions that respect the group multiplication, and the fact that it preserves identity and inverses follows from the fact that it respects group multiplication.
But between group objects, we impose that the homomorphism respects group multiplication AND identity AND inverses.
So the question is, what are some examples of category in which homomorphism respects the group multiplication but does not respect inverses or identity?
(For example, if we take the category of Sets, it's obvious that a homomorphism respecting group multiplication implies it preserves identity and inverses)