The paper gives a simple result on the existence of normal forms for the following equivalence relation between objects of a category: if and only if there are maps and , under the hypothesis that the category has epi-mono factorizations and each object has finitely many sub-objects and quotient-objects. Applications to algebra, logic, automata theory, databases are presented.