Department of

September 2021 October 2021 November 2021 Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa 1 2 3 4 1 2 1 2 3 4 5 6 5 6 7 8 9 10 11 3 4 5 6 7 8 9 7 8 9 10 11 12 13 12 13 14 15 16 17 18 10 11 12 13 14 15 16 14 15 16 17 18 19 20 19 20 21 22 23 24 25 17 18 19 20 21 22 23 21 22 23 24 25 26 27 26 27 28 29 30 24 25 26 27 28 29 30 28 29 30 31

Friday, October 15, 2021

**Abstract:** In this talk we will give some motivations for cellular homotopy type theory, by first looking at its expected semantics and discussing some applications and related literature. We will then go over a bit of basic machinery that goes into the semantics. Despite the title, we won't actually spend much time on syntax, instead focusing on connections to other work in homotopy theory, algebraic topology, and higher category theory, at least when n=1 i.e. the simplicial case. No prior knowledge of the topics is assumed.