This shows that the class of all groups, together with group homomorphisms as morphisms, forms a category.
Это показывает, что класс всех групп, вместе с гомоморфизмами групп в качестве морфизмов, образуют категорию.