Skip to main content

Home

Higher Topos Theory and Univalent Foundations

The Summer School on Higher Topos Theory and Univalent Foundations will take place from June 24th to June 28th 2019 at School of Mathematics of University of Leeds. The programme includes two mini-courses, three lectures by invited speakers as well as tutorial sessions.

The goal of the school is to help PhD students and young researchers to obtain entry points into the areas of Higher Topos Theory and Univalent Foundations and, perhaps most importantly, learn about connections between them. This would help future developments in both subjects, e.g. in the development of elementary higher topos theory.

Registration is now closed.

Activities

Mini-course lecturers:

  • Peter LeFanu Lumsdaine (Stockholm University) on Univalent foundations
  • Charles Rezk (University of Illinois at Urbana–Champaign) on Higher topos theory

Prerequisites for the mini-courses can be found here.

Invited speakers:

  • Benedikt Ahrens (University of Birmingham)
  • André Joyal (Université du Québec à Montréal)
  • Emily Riehl (Johns Hopkins University)

Tutorials:

  • Nicola Gambino (University of Leeds)
  • Paige North (Ohio State University)
  • Nima Rasekh (Max Planck Institute for Mathematics)
  • Karol Szumiło (University of Leeds)

Organisers

Scientific Committee

Organising Committee

  • Nicola Gambino
  • Gabriele Lobbia
  • Nima Rasekh
  • Raffael Stenzel
  • Karol Szumiło

Sponsors

The meeting is sponsored by the School of Mathematics of the University of Leeds, the Engineering and Physical Sciences Research Council (EPSRC), the US Air Force Office for Scientific Research (AFOSR), the London Mathematical Society (LMS) and is held under the auspices of the British Logic Colloquium (BLC).