Minicourse on Homotopy Type Theory

University of Swansea, April 10–13, 2012

• 10 April: Type theory and category theory: [PDF]. Printable: [1up] [2up] [4up]
• 11 April: Homotopy theory in type theory: [PDF]. Printable: [1up] [2up] [4up]
• 12 April: Categorical models of homotopy type theory: [PDF]. Printable: [1up] [2up] [4up]
• 13 April: Inductive and higher inductive types: [PDF]. Printable: [1up] [2up] [4up]

You may also be interested in:

• Slides from my seminar at UCSD on homotopy type theory
• The homotopy type theory web site, including a community blog and pages of links and references.