abelian category as regular category

Let \(\mathcal{A}\) be an abelian category. Then \(\mathcal{A}\) is a regular category

• finitely cocomplete follows from additive category
• the coequalizer follows from pre-abelian category
• TODO