2019 Midwest Homotopy Type Theory Seminar