What is Homotopy Type Theory Good For? The n-Category Café, 10 May 2012 The current situation of homotopy type theory reminds me a bit of the dot-com bubble at the turn of the millenium. Back then…