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 t

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.