A Theory of Conversion Relations for Prefixed Units of Measure
Programming Languages
2025-12-31 v6 Discrete Mathematics
Abstract
Units of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic operations are defined. Conversion rules are represented as a class of ternary relations with both group-like and category-like properties. A hierarchy of subclasses is explored, each satisfying stronger useful algebraic properties than the preceding, culminating in a direct efficient conversion-by-rewriting algorithm.
Keywords
Cite
@article{arxiv.2212.11580,
title = {A Theory of Conversion Relations for Prefixed Units of Measure},
author = {Baltasar Trancón y Widemann and Markus Lepper},
journal= {arXiv preprint arXiv:2212.11580},
year = {2025}
}