Lecturer: Robin Cockett
Office: ICT 652
Times: Tues. - Fri.  3:00 -  5:00pm
Place:  ICT 616

COURSE DESCRIPTION:

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.

COURSE OUTLINE:

A course outline is here.