This page is to record a constructive proof of the following result.
Every monomorphism in the category of groups is an equalizer.
Let be monic, and let be the canonical surjective function . Let be the free abelian group on with the canonical injection, and let denote the set of functions , with the pointwise abelian group structure inherited from . This carries a -module structure defined by
For any , the function defined by defines a derivation. Passing to the wreath product , we have two homomorphisms defined by and . I claim that is the equalizer of the pair . For,
(All we needed was some injection into an abelian group; I chose the canonical one.)
This proof can be adapted to show that monomorphisms in the category of finite groups (group objects in ) are also equalizers. All that needs to be modified is the choice of , which we could take to be the -vector space freely generated by .
The category of groups is balanced: every epic mono is an isomorphism.
This follows because an epic equalizer is an equalizer of two maps that are the same, hence an isomorphism.
Every epimorphism in the category of groups is a coequalizer.
Since every morphism factors as a regular epi followed by a mono , having epic implies is a epic mono. Epic monos being isomorphisms, is then forced to be regular epic as well.