�y��vlog

A mechanism called univalence would allow mathematicians to use each other’s work even if they had different approaches to the same underlying concepts. 

His “Univalence Axiom” was also credited with making a strong impact in both mathematics and computer science.