Kevin Clancy

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}$$...

In chapter 1, the text "An outer output port is weired to a middle output port, and this middle output port is wired to an inner **input** port" should be...

In Example 1.3.2.5, which contains the text "We can describe the ClockWithDisplay system (reproduced below) as a composite of lenses", I believe the two signature are wrong. In the signature...

In definition 1.3.2.1, which defines the parallel product of lenses and contains the text "we define their parallel product", the domain of the first lens should have $$B_1$$ as its...

I believe in example 1.2.1.8, the example beginning with "If a deterministic system has a small...", the signature of $$update_S$$ should be $$State_S \times In_S \to State_S$$ rather than $$State_S...