Western Math Calendar

Wednesday, June 04

Homotopy Theory

Time: 14:00
Speaker: Dan Christensen (Western)
Title: "Models of (homotopy) type theory"
Room: MC 107

Abstract: I will describe what it means to give a model of type theory, and give some examples of models, including some that arise from Quillen model categories.

Wednesday, June 04
Homotopy Theory Time: 14:00 Speaker: Dan Christensen (Western) Title: "Models of (homotopy) type theory" Room: MC 107 Abstract: I will describe what it means to give a model of type theory, and give some examples of models, including some that arise from Quillen model categories.