DynamicalSystemsBook icon indicating copy to clipboard operation
DynamicalSystemsBook copied to clipboard

Typo in definition of WD_T

Open kevinclancy opened this issue 5 months ago • 0 comments

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

kevinclancy avatar Jul 10 '25 04:07 kevinclancy