Univalent foundations and the equivalence principle