Lecture Videos and Readings

This course is based on the textbook:

Buy at Amazon Fong, B. and D. I. Spivak. An Invitation to Applied Category Theory: Seven Sketches in Compositionality. Cambridge University Press, 2019. ISBN: 9781108482295.

An online version is freely available on Cornell University’s arXiv.org e-Print archive site as well as from OCW as a single file: This resource may not render correctly in a screen reader.An Invitation to Applied Category Theory: Seven Sketches in Compositionality (PDF - 2.6MB).

SES # TOPICS
1–2 This resource may not render correctly in a screen reader.Chapter 1: Generative Effects: Orders and Adjunctions
3–4 This resource may not render correctly in a screen reader.Chapter 2: Resources: Monoidal Preorders and Enrichment
5–6 This resource may not render correctly in a screen reader.Chapter 3: Databases: Categories, Functors, and (Co)Limits
7–8 This resource may not render correctly in a screen reader.Chapter 4: Co-design: Profunctors and Monoidal Categories
9–10 This resource may not render correctly in a screen reader.Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs
11–12 This resource may not render correctly in a screen reader.Chapter 6: Circuits: Hypergraph Categories and Operads
13–14 This resource may not render correctly in a screen reader.Chapter 7: Logic of Behavior: Sheaves, Toposes, Languages