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


page 1

page 2

page 3

page 4


Alpha-conversion for lambda terms with explicit weakenings

Using explicit weakenings, we can define alpha-conversion by simple equa...

Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems

In a previous article, the authors developed two conversion methods to i...

The Theory of an Arbitrary Higher λ-Model

One takes advantage of some basic properties of every λ-homotopic model ...

Machine Learning for Sensor Transducer Conversion Routines

Sensors with digital outputs require software conversion routines to tra...

From webtables to datatables

Webtables – tables and table-like structures on webpages – are excellent...

A Conversion Procedure for NNC Polyhedra

We present an alternative Double Description representation for the doma...

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories

We investigate the algebraic and compositional properties of multiway (n...

Please sign up or login with your details

Forgot password? Click here to reset