Decomposing the Univalence Axiom