On the other hand, every epimorphism in the category of groups is conormal (since it is the cokernel of its own kernel), so this category is conormal.
З другого боку, кожен епіморфізм у категорії груп є конормальним (оскільки він є коядром свого ядра), тому ця категорія є конормальною.