On the objects of the category of groups we define the mapping $G\mapsto Hol(G)$, the holomorph $G\rtimes Aut(G)$ of $G$. Can we extend this mapping to a functor on this category?(Via extention to morphisms)
Is $G\mapsto Hol(G)$ the object component of any functor on the category of groups?
Ali Taghavi
- 356
- 8
- 31
- 123