Dimensional analysis is the study of the monoidal closed category of 1-dimensional real vector spaces, using coordinates.
Replying to @JadeMasterMath
The space of signed lengths is a 1-dim real vector space (ditto for areas, masses, etc). Product of such quantities is a tensor product, inversion is dual space, canceling units from numerator and denominator is a trace (isomorphism since the spaces are 1-dim). Units are bases.
4:06 PM - 17 Jul 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.