02:17 Recalling Galois connections. 07:20 Monoidal posets and resource theories. 15:06 The definition of monoidal set (also known as monoid). 17:11 Examples of monoids. 18:23 Monoidal posets. 21:04 Examples and non-examples of monoidal posets. 27:27 Wiring diagrams and string diagrams. 35:03 Examples of wiring diagrams.
David Spivak and Brendan Fong are excellent teachers. Thanks for the video. I am now reading: Seven Sketches in Compositionality: An Invitation to Applied Category Theory, a very well written outstanding book.
02:17 Recalling Galois connections.
07:20 Monoidal posets and resource theories.
15:06 The definition of monoidal set (also known as monoid).
17:11 Examples of monoids.
18:23 Monoidal posets.
21:04 Examples and non-examples of monoidal posets.
27:27 Wiring diagrams and string diagrams.
35:03 Examples of wiring diagrams.
David Spivak and Brendan Fong are excellent teachers. Thanks for the video. I am now reading: Seven Sketches in Compositionality: An Invitation to Applied Category Theory, a very well written outstanding book.
I'm really enjoying these lectures so far, many thanks.
The invisible drawing at 40:48 appears at 45:45.
What’s the answer to the final questions?
Would be good if a 180 degrees view camera was used, maybe like a 360 camera, but then half of it cut off for student privacy reasons.