|Class number||Date||Sections from CT4S book|
|1.||Feb 6||1. Introduction.|
2. The category of sets.
2.1. Sets and functions.
|2.||Feb 8||(MIT closed and class canceled due to storm.)|
|3.||Feb 11||2.1. Sets and functions.|
2.2 Commutative diagrams.
|4.||Feb 13||2.3. Ologs.|
2.4. Products and coproducts.
|5.||Feb 15||2.4. Products and coproducts.|
2.5. Finite limits in Set.
|6.||Feb 19||2.6. Finite colimits in Set.|
|7.||Feb 20||2.7. Other notions in Set. |
Mini-project: what are wiring diagrams?
|8.||Feb 22||2.7. Other notions in Set.|
3. Categories and functors, without admitting it.
|9.||Feb 25||3.1. Monoids.|
|10.||Feb 27||3.3. Graphs.|
|11.||Mar 1||3.4. Orders.|
|12.||Mar 4||3.4. Orders.|
|13.||Mar 6||4. Basic category theory.|
4.1. Categories and functors.
|14.||Mar 8||4.1. Categories and functors.|
|15.||Mar 11||4.1. Categories and functors.|
|16.||Mar 13||4.1. Categories and functors.|
4.2. More basic examples from mathematics.
|17.||Mar 15||4.2. More basic examples from mathematics.|
|18.||Mar 18||4.3. Natural transformations.|
|19.||Mar 20||4.3. Natural transformations.|
|20.||Mar 22||4.4. Categories and schemas are
5.3. Monads (quick tour).
|21.||Apr 1||4.5. Limits and colimits.|
|22.||Apr 3||4.5. Limits and colimits.|
|23.||Apr 5||Discuss project possibilities.|
|24.||Apr 8||4.6. Other notions in Cat.|
|25.||Apr 10||4.6. Other notions in Cat.|
5. Categories at work.
|26.||Apr 12||5.1. Adjunctions.|
|28.||Apr 19||(MIT closed and class canceled due to Boston lockdown.)|
|29.||Apr 22||5.2. Categories of functors.|
|30.||Apr 24||(MIT classes canceled due to "day of reflection.")|
|31.||Apr 26|| 5.2. Categories of functors.|
|32.||Apr 29||5.3. Monads.|
|33.||May 1||Presentation by Yair Shenfeld:
Logical systems and Monoidal Categories.
Presentation by Whan Ghang: Meaning of Naturality in Algebra.
|34.||May 3||Presentation by Jason Gross:
Curry-Howard Isomorphism from a Categorical Standpoint.|
Presentation by William Yu: On the limits to the general applicability of category theory in biology: where it works and where it shouldn't.
by Daniel Huang: Notions of Computations and Monads.|
|36.||May 8||Presentation by Leon Dimas:
|37.||May 10||Presentation by Dieter Brommer:
|38.||May 13||Presentation by Noam
Ologs and proving causality in social science.|
Presentation by Wenjie Ji: Illustration of Category Hilb with examples in atomic and optical physics.
|39.||May 15||Presentation by Aaron Brookner:
Cayley's theorem, Yoneda's lemma, and Yoneda's embedding.|
Presentation by Dylan Erb: English to Olog Translation or: how I learned to stop worrying and love the Olog.