Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky