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. 3.1. Monoids. |
9. | Feb 25 | 3.1. Monoids. 3.2. Groups. |
10. | Feb 27 | 3.3. Graphs. |
11. | Mar 1 | 3.4. Orders. |
12. | Mar 4 | 3.4. Orders. 3.5. Databases. |
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
equivalent. 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. 5.1. Adjunctions. |
26. | Apr 12 | 5.1. Adjunctions. |
27. | Apr 17 |
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. 5.3. Monads. |
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:
The
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. |
35. | May 6 | Presentation
by Daniel Huang: Notions of Computations and Monads. 5.4. Operads. |
36. | May 8 | Presentation by Leon Dimas:
Categorizing sloppiness. 5.4. Operads. |
37. | May 10 | Presentation by Dieter Brommer:
An
olog for
molecular dynamics. 5.4. Operads. |
38. | May 13 | Presentation by Noam
Angrist:
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. |