A seminar on HoTT Equivalences

Homotopy Type Theory

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 things going on in Equivalences.v.

View original post

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.