An examination of the pure algebraic properties of computational type conversion leads to a new
generalizations of the concept of a homomorphism for which the term conversion seems appropriate.
While an homomorphism is a mapping that respects the value of all terms, a conversion is a mapping
that respects the value of all sufficiently small terms. Such a mapping has practical value, as well
as theoretical interest that stems from conversions forming a category. This paper gives a precise
definition of the concept and demonstrates an application to formal computer science based on
work completed by the author in his PhD thesis.
Mills, B. (2001), Algebraic conversions, Research Letters in the Information and Mathematical Sciences, 2, 11-17