DynamicalSystemsBook
DynamicalSystemsBook copied to clipboard
Typo in definition of WD_T
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$$