DynamicalSystemsBook
DynamicalSystemsBook copied to clipboard
DavidJaz
Should work now. Also, will not deploy on pull request, only on push to master.
Other things that occurred to me: 1. List is a good example of a non-commutative monad 2. You mention that `Arity ≅ FinSetº`. This is very close to opposite of...
Watching David Spivak's course (see my [twitter thread](https://twitter.com/bblfish/status/1424454040985944066)) which led me to this book, I came to wonder very quickly if Poly as Dynamical Systems could not be the mathematics...
Caught them in the preface and first chapter, some in the later chapters were the result of searching (e.g. eachother)
In the diagram of the tape machine, the [second output](https://github.com/DavidJaz/DynamicalSystemsBook/blob/8e662c5c7f7dae0eb39fb5858af9f0c295403178/book/C1-.tex#L449) is labelled "Symbol" when it should be labelled "Head".
In example 1.3.4.6, presenting the theory $$\mathbf{Vect}$$ of real vector spaces as a lawvere theory, the [last sentence](https://github.com/DavidJaz/DynamicalSystemsBook/blob/8e662c5c7f7dae0eb39fb5858af9f0c295403178/book/C1-.tex#L2777) draws that conclusion that $$g^* = f^*$$ as maps $$X^I \to X^J$$....
In Chapter 1, there is a proposition named `interpret_typed_wiring_diagram` which includes the text "which interprets a typed wiring diagram as a lens". The proof of this proposition incorrectly references prop...
In definition 1.3.3.14, the definition of T-typed wiring diagrams, the book says $$\mathbf{WD}_T := \mathbf{Lens}_T$$ But the subscript under Lens should be $$\mathbf{Arity}_T$$ instead of $$T$$
In Chapter 1, we have the text "Just as we wrote the morphisms in $$\mathbf{Arity}$$ as $$(x_1, x_2 \mapsto x_2, x_1, x_2)$$, we can write the morphisms in $$\mathbf{Arity}_{\mathcal T}$$...