A self-contained, brief and complete formulation of Voevodsky's Univalence Axiomcs.bham.ac.uk·57 pts·jessup·15