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