Calendar

This page is the source of ground truth for what happens when in the course. It lists the topics of each lecture and includes when each assignment is due.

Date	Content
Fri 9/5/2025	Lecture: Introduction Optional Reading: A Categorical Manifesto, Joseph Goguen
Tues 9/9/2025	Lecture: Whence categories (Notes Ch. 2)
Fri 9/12/2025	Lecture: Universal Constructions I (Notes Ch. 3)
Tues 9/16/2025	Lecture: Universal Constructions II (Notes Ch. 4)
Fri 9/19/2025	Lecture: Yoneda I: Generalized Elements