PhD course - Cubical sets
Organizer
Rasmus Ejlers Møgelberg, TCS, PLS
Lectures:
Thierry Coquand and Simon Huber
Date(s) of the course:
Dec 1 and 2, 2014
Time:
Dec 1: 13.00-15.00
Dec 2: 13.00-15.00
Place:
TBA
Course description
This is an informal extension of the homotopy type theory seminar I gave in the Spring. I have
invited the lecturers to explain their cubical sets model of the univalence axiom. This axiom is
central to homotopy type theory, and its only justification is the cubical sets model (or the similar
simplicial sets model).
TCS is paying for the hotel, the lecturers will pay their own travel expenses. I would like to have
funding for inviting the lecturers for dinner. Not all students will participate in the dinner, but I
would like to invite also Carsten Schurman, Nicolas Pouillard, Daniel Gustafson, Ales Bizjak (visitor
from Aarhus), and perhaps one or two more interested students. These all have a direct research
interest shared with the lecturers.
Programme: Lecture one on Monday 13-15, lecture 2 on Tuesday 13-15
Prerequisites:
Knowledge of homotopy type theory e.g. from the homotopy type theory seminar.
Credits: 1 ECTS
Amount of hours the student is expected to use on the course:
Participation: 4 hours