Univalent Foundations and the Equivalence Principle