Abstract

I will give a minicourse on the basics of Homotopy Type Theory. Even though I am still learning the subject, I believe one does not fully understand until he can teach. The talk will focus on type theory, homotopy theory, and how the two are related