Lecturer: Robin Cockett
Office: ICT 652
Times: Tues. - Fri. 3:00 - 5:00pm
Place: ICT 616
The course will introduce homotopy type theory via model
categories and dependent type theory.
The course will be structured as a series of presentations based
on reference papers and texts.
Participants are expected to have mathematical
sophistication, have completed a course in Category Theory and/or
Type Theory. Participants will be
expected to present topics in the course and to produce notes.
A course outline is here.