There are some ways to introduce groups in Category Theory.

1. Given object and morphisms , . We can introduce group on for any object .

Morphisms and have to be such that the respective functions:

, satisfy group axioms. The arrows are defined in the natural way.

I think, that 'in the natural way', means that for we have , where denotes product of morphisms (which exists due to the definition of product in category). And .

One problem is, what properties has to satisfy and in order to induce group structure.

But i don't want to think on this right now.

2. The second way, is to suppose we have group structure on each for given and any . Of course the groups have to be related somehow. And the relation is, that for any morphism the respective arrow is a group homomorphism.

Finally the question is. We have group structure given in the way 2, and we want to define group structure in the way 1. It is, we want to define morphisms and in some way.