A self-contained, brief and complete formulation of Voevodsky's Univalence Axiomcs.bham.ac.uk57 pointsjessup8 years ago