4 ms·

You might be interested in https://terrytao.wordpress.com/2012/12/29/a-mathematical-formalisation-of-dimensional-analysis/ https://terrytao.wordpress.com/2012/1

• foxes 5y ago
  Yeah I mean it could help for essentially type checking your work. I feel it’s common in physics to set a lot of units to “1” which is just like a morphism to the underlying field, and then later you put units back in. Obviously you can do calculus/algebraic geometry etc over more interesting objects than just a field, that seems to be the essence Tao post. I am not entirely sold on torsor perhaps.