Invariance is one of the most important notions in applications of mathematics. It is one of the key concepts in modern physics, is a computational tool that helps in solving complex equations, etc. In view of its importance, it is desirable to come up with a definition of invariance which is as general as possible. In this paper, we describe how to formulate a general physically meaningful (e.g., unit-invariant) notion of physical invariance in categorial terms.

Continue reading: category theory invariance