Ideals and clots in universal algebra and in semi-abelian categories,

We clarify the relationship between basic constructions of semi-abeliancategory theory and the theory of ideals and clots in universalalgebra. To name a few results in this frame, which establish connections between hitherto separated subjects, 0-regularity in universalalgebra corresponds to the requirement that regular epimorphisms are normal; we describe clots in categorical terms and show that ideals are images of clots under regular epimorphisms; we show that the relationship between internal precrossed modules and internal reflexive graphs extends the relationship between compatible reflexive binary relations and clots.