A Theory of Conversion Relations for Prefixed Units of Measure
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908737867874304 |
|---|---|
| author | Widemann, Baltasar Trancón y Lepper, Markus |
| author_facet | Widemann, Baltasar Trancón y Lepper, Markus |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_11580 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | A Theory of Conversion Relations for Prefixed Units of Measure Widemann, Baltasar Trancón y Lepper, Markus Programming Languages Discrete Mathematics 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. |
| title | A Theory of Conversion Relations for Prefixed Units of Measure |
| topic | Programming Languages Discrete Mathematics |
| url | https://arxiv.org/abs/2212.11580 |