A theory of conversion relations for prefixed units of measure
- 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-rewritingUnits 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.…
Author: | Baltasar Trancón y WidemannORCiD, Markus LepperORCiD |
---|---|
URN: | urn:nbn:de:kobv:522-opus4-31984 |
URL: | https://arxiv.org/abs/2212.11580v5 |
DOI: | https://doi.org/10.48550/arXiv.2212.11580 |
Document Type: | Preprint |
Language: | English |
Year of first Publication: | 2024 |
Release Date: | 2024/09/17 |
First Page: | 1 |
Last Page: | 45 |
Institutes: | Fachbereich Informatik und Medien |
open_access (DINI-Set): | open_access |
University Bibliography: | Hochschulbibliografie |
Licence (German): | Creative Commons - CC BY-NC-ND - Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 |