| S# |
Lecture |
Course |
Institute |
Instructor |
Discipline |
| 1 |
Chapter 1: Generative Effects: Orders and Adjunctions Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 2 |
Chapter 1: Generative Effects: Orders and Adjunctions Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 3 |
Chapter 2: Resources: Monoidal Preorders and Enrichment Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 4 |
Chapter 2: Resources: Monoidal Preorders and Enrichment Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 5 |
Chapter 3: Databases: Categories, Functors, and (Co)Limits Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 6 |
Chapter 3: Databases: Categories, Functors, and (Co)Limits Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 7 |
Chapter 4: Co-design: Profunctors and Monoidal Categories Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 8 |
Chapter 4: Co-design: Profunctors and Monoidal Categories Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 9 |
Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 10 |
Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 11 |
Chapter 6: Circuits: Hypergraph Categories and Operads Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 12 |
Chapter 6: Circuits: Hypergraph Categories and Operads Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 13 |
Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages Part 1
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|
| 14 |
Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages Part 2
|
Applied Category Theory (January IAP 2019)
|
MIT
|
Dr. David I. Spivak and Dr. Brendan Fong
|
Basic and Health Sciences
|