Mathematical theories of the physical world are constrained by invariants in respect of observer and various geometric symmetries, but the theories themselves, in respect of the space of all theories should also be subject to something like invariants. Not just a random choice of theory, space, dimensionality etc. But there seems to be no limit to how abstract the mathematical space would have to be.