Normal subdigroups and the isomorphism theorems for digroups

We discuss the notion of normality of a sub-object in the category of digroups. This allows us to define quotient digroups, and then establish the corresponding analogues of the classical Isomorphism Theorems.