Towards a theory of conversion relations for prefixed units of measure

DOI10.1007/978-3-031-28083-2_16MaRDI QIDQ6132514zbMATH OpenFDO

Authors Baltasar Trancón y Widemann, M. Lepper

Publication date 17 August 2023

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2212.11580

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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 with better algebraic behavior than the preceding, culminating in a direct efficient conversion-by-rewriting algorithm.

Cites work

• Abstract and concrete categories: the joy of cats
• Towards a theory of conversion relations for prefixed units of measure

Cited in

(2)

• Towards a theory of conversion relations for prefixed units of measure
• A theory of conversion relations for prefixed units of measure

This page was built for publication: Towards a theory of conversion relations for prefixed units of measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132514)