Author Archives: Martin Escardo

About Martin Escardo

http://www.cs.bham.ac.uk/~mhe/

Introduction to Univalent Foundations of Mathematics with Agda

I am going to teach HoTT/UF with Agda at the Midlands Graduate School in April, and I produced lecture notes that I thought may be of wider use and so I am advertising them here. The source files I used … Continue reading

Posted in Uncategorized | Leave a comment

A self-contained, brief and complete formulation of Voevodsky’s univalence axiom

I have often seen competent mathematicians and logicians, outside our circle, making technically erroneous comments about the univalence axiom, in conversations, in talks, and even in public material, in journals or the web. For some time I was a bit … Continue reading

Posted in Uncategorized | Leave a comment