Homotopy type theory is a new area of mathematics which, over the past ten or so years, has successfully combined aspects of the highly constructive disciplines of type theory and functional programming, and the highly classical disciplines of algebraic topology and homotopy theory. The sheer unlikeliness of the pairing has been the source of both fascination and suspicion among workers in both fields.

This talk aims to give an introduction to the area comprehensible to a general mathematical audience.

About Maths Colloquium

The Mathematics Colloquium is directed at students and academics working in the fields of pure and applied mathematics, and statistics. 

We aim to present expository lectures that appeal to our wide audience.

Information for speakers

Information for speakers

Maths colloquia are usually held on Mondays, from 2pm to 3pm, in various locations at St Lucia.

Presentations are 50 minutes, plus five minutes for questions and discussion.

Available facilities include:

  • computer 
  • data projector
  • chalkboard or whiteboard

To avoid technical difficulties on the day, please contact us in advance of your presentation to discuss your requirements.


Mansergh Shaw building (45)