Author Archives: Andrej Bauer

A seminar on HoTT Equivalences

I recorded our local Seminar on foundations in which I talked about the notion of equivalence in HoTT: Hopefully some people will find some use for it. It is pretty slowly going, and it might motivate some of the strange … Continue reading

Posted in Talk | 5 Comments