Does anyone know exactly what kind of mathematical object a unit (like meters, coulombs, etc.) is? Or what kind of algebraic structure units are elements of?
"Dimensional Analysis" is a branch of applied mathematics (or is it properly called physics?). It is based on the idea that the units in equations that describe physical laws must work out properly, but I don't know if it gives a formal definition of such units.