CPSC601.02:  Homotopy Type Theory

(Note: website under construction!)

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.