What is an n-theory? The n-Category Café, 26 Apr 2018 A few weeks ago at thehomotopy type theory electronic seminarI spoke about my joint work with Dan Licata and Mitchell Riley on…