## Lecture Videos

Session 9 Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 1 by Dr. David I. Spivak |

Session 10 Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs Part 2 by Dr. Brendan Fong |

## Readings

Internal links in the chapter file below are non-functional. For working links, open the file for the full textbook: *An Invitation to Applied Category Theory: Seven Sketches in Compositionality* (PDF - 2.6MB).

Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs (PDF)

5.1 Comparing systems as interacting signal processors

5.2 Props and presentations

5.2.1 Props: definition and first examples

5.2.2 The prop of port graphs

5.2.3 Free constructions and universal properties

5.2.4 The free prop on a signature

5.2.5 Props via presentations

5.3 Simplified signal flow graphs

5.3.1 Rigs

5.3.2 The iconography of signal flow graphs

5.3.3 The prop of matrices over a rig

5.3.4 Turning signal flow graphs into matrices

5.3.5 The idea of functorial semantics

5.4 Graphical linear algebra

5.4.1 A presentation of **Mat**(\(R\))

5.4.2 Aside: monoid objects in a monoidal category

5.4.3 Signal flow graphs: feedback and more

5.5 Summary and further reading

## Assignment

Problem set 3 (PDF) due at the beginning of Session 14.