Monthly Archives: March 2019
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
Geometry in Modal HoTT now on Zoom
The workshop Geometry in Modal HoTT taking place next week at cmu will be available for online participation via Zoom! The recorded talks will be available on youtube (provided the speakers give their consent) sometime after the workshop.
Posted in Meeting, News
Leave a comment
Homotopy Type Theory 