To Gauge Theory from a Minimum of a priori structure

Within a universal framework, where all laws are regularities of relations between things or agents, gauge theories are distinguished by a single structural assumption. It requires unitarity of fundamental relations, $forth\circback=identity$.