Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 9 of 9
In an attempt to find a mathematically convicing definition of a “unit of measurement” I came up with this construction; it’s nice, but not perfect. I am interested in your opinion.
In elementary physics units of measurement are something you attach to scalars (identified with “pure quantities”). You can multiply “meters” and “kilograms”, and you can divide the result by “seconds”^2. But you can’t add “inhomogeneous” quantities like meters and kilograms, this has no physical meaning.
Ok then, I want to propose the following interpretation for this situation:
This led me to the following definition(s): let $\mathbb{F}$ be a ring, and $A$ a set of symbols (to fix ideas, let $A=\{ meters, kilograms, seconds\}$, whatever these three words mean). I denote by $\mathbf{A}$ the abelian group obtaining inverting all elements in the free monoid over $A$. I define the following category $\mathcal{M}_{\mathbb{F}}(A)$
Composition in $\mathcal{M}_{\mathbb{F}}(A)$ is sum of elements of $\mathbb{F}$; this turns $\mathcal{M}_{\mathbb{F}}(A)$ into a groupoid (there are several other equivalent ways to define it).
Moreover, $\mathcal{M}_{\mathbb{F}}(A)$ has a monoidal structure: let $(a, [v])\otimes (b, [w]) = (ab, [v.w])$, where $ab$ is the product of $a,b$ in $\mathbb{F}$ and “dot” is the concatenation of words in $\mathbf{A}$. (I denote an arrow in $\mathcal{M}_{\mathbb{F}}(A)$ with the pair of its domain-codomain and the name of the arrow $a\colon [v]\to [v]$ in $\mathbb{F}$).
The fact that this turns $\mathcal{M}_{\mathbb{F}}(A)$ into a monoidal category is a consequence of the ring structure on $\mathbb{F}$.
Plusses of this construction:
If $\mathbb{F}$ is a differential ring, you can define endofunctors $\mathbf{D}_{[v]}\colon \mathcal{M}_{\mathbb{F}}(A)\to \mathcal{M}_{\mathbb{F}}(A)$ as
where $a\mapsto a'$ is the derivation of $\mathbb{F}$. Funny thing, this is “linear and Leibniz”, in the sense that it is (a functor and) such that
$\mathbf{D}_{[v]}\big( \alpha \otimes \beta \big) = (\mathbf{D}_{[v]}\alpha \otimes \beta)\circ (\alpha\otimes \mathbf{D}_{[v]}\beta) = (a'b + a b' , [u.w.v^{-1}])$for each $\alpha = (a, [u])$ e $\beta = (b, [w])$.
That’s all. I find it beautiful; help me to turn it into something more beautiful!
Fosco, do you know about Jim Dolan’s lectures on Algebraic Geometry for Category Theorists?
First thing I thought of, too.
Speaking of that, I wish we could get notes from Jim’s recent Australian Category Seminar talks.
The links to Jim Dolan’s videos are all broken; is there another source to see them?
Ah, now I remember about “dimensional categories”!
They seem to be available here: http://ncatlab.org/johnbaez/show/Doctrines+of+algebraic+geometry
This is strange, now I can download the videos but they have no sound (also, the first video is of rather poor quality, to the point that I can’t read on the blackboard…)
By the way, there is the beginning of something in the $n$Lab entry physical unit. Certainly deserves to be expanded…
I remember this
https://terrytao.wordpress.com/2012/12/29/a-mathematical-formalisation-of-dimensional-analysis/
1 to 9 of 9