Abstract

The paper gives a simple result on the existence of normal forms for the following equivalence relation between objects of a category: A~B if and only if there are maps A?B and B?A, 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.