An introduction to univalent foundations and the equivalence principle