Algebraic conversions

Abstract

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.