Mills, Bruce2013-05-062013-05-062001Mills, B. (2001), Algebraic conversions, Research Letters in the Information and Mathematical Sciences, 2, 11-171175-2777http://hdl.handle.net/10179/4337An 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.enHomomorphismArticle