带前缀度量单位的转换关系理论
编程语言
2025-12-31 v6 离散数学
摘要
带前缀与转换规则的度量单位借助范畴群论被赋予形式语义模型。我们定义了基本结构以及自然与偶然语义操作。转换规则被表示为一类具有群类与范畴类性质的三元关系。我们探讨了一个子类层次，每一子类都满足比前一类更强的有用代数性质，最终导出一种直接的基于重写的高效转换算法。
引用
@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}
}