regular category

kind of category that has similarities to both Abelian categories and to the category of sets