# Chapter 5: Signal Flow Graphs: Props, Presentations, and Proofs

« Previous | Next »

## 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

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).

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