- A regular epi
c->dmeans that there is a kind of relation onc(concreteley, an objectRand two morphismsf: R -> candg: R -> c) such thatdiscmoduleR, i.e. the quotient ofcbyR - A regular category is one where every arrow has a (regular epi-mono) factorization.