 is an equivalence. Equivalence (\(\cong\)) here refers to a general notion of equivalence of higher dimensional objects, as in the sequence equal elements, isomorphic sets, equivalent groupoids, biequivalent bigroupoids, etc. The univalence axiom expresses that “everything is preserved by equivalence”, thereby realizing the informal categorical slogan that all categorical constructions are preserved by isomorphism, and its generalization, that all constructions of categories are preserved by equivalence of categories, etc.