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 |
|---|---|
| 9/5/2025 | Lecture: Introduction Optional Reading: A Categorical Manifesto, Joseph Goguen |
| 9/9/2025 | Lecture: Whence categories (Notes Ch. 2) |
| 9/12/2025 | Lecture: Universal Constructions I (Notes Ch. 3) |
| 9/16/2025 | Lecture: Internal Languages (Notes Ch. 4) |
| 9/19/2025 | Lecture: Universal Constructions III: Exponential Objects (Notes Ch. 5) |
| 9/26/2025 | Lecture: Yoneda I: Internal vs external (Notes Ch. 6) |
| 9/30/2025 | Lecture: Yoneda II: Indexed set theory (Notes Ch. 7) |
| 10/3/2025 | Lecture: Yoneda III: Representability (Notes Ch. 8) |
| 10/7/2025 | Lecture: Yoneda IV: Yoneda IV: the (baby) Yoneda Lemma (Notes Ch. 9) |
| 10/21/2025 | Lecture: Limits and colimits I (Notes Ch. 10) |
| 10/24/2025 | Lecture: Limits and colimits II (Notes Ch. 10) |