Issues

• Incorrect output in tape machine wiring diagram.

  DavidJaz/DynamicalSystemsBook#19 · Filter by author kevinclancy opened on Jul 23, 2025

• Redundant conclusion in Lawvere theory example

  DavidJaz/DynamicalSystemsBook#18 · Filter by author kevinclancy opened on Jul 23, 2025

• Proof of interpretation of typed wiring diagrams references wrong proposition

  DavidJaz/DynamicalSystemsBook#17 · Filter by author kevinclancy opened on Jul 10, 2025

• Typo in definition of WD_T

  DavidJaz/DynamicalSystemsBook#16 · Filter by author kevinclancy opened on Jul 10, 2025

• Typo in example Arity_T morphism

  DavidJaz/DynamicalSystemsBook#15 · Filter by author kevinclancy opened on Jul 10, 2025

• Mixing up "input" and "output" in prose description of wiring composition

  DavidJaz/DynamicalSystemsBook#14 · Filter by author kevinclancy opened on Jul 10, 2025

• Incorrect signatures in example describing ClockWithDisplay as lens composite

  DavidJaz/DynamicalSystemsBook#13 · Filter by author kevinclancy opened on Jul 10, 2025

• Incorrect domain for Lens f in parallel product definition

  DavidJaz/DynamicalSystemsBook#12 · Filter by author kevinclancy opened on Jul 10, 2025

• update_S signature has wrong codomain in Example 1.2.1.8

  DavidJaz/DynamicalSystemsBook#11 · Filter by author kevinclancy opened on Jul 10, 2025

• Relation to Actors

  DavidJaz/DynamicalSystemsBook#3 · Filter by author bblfish opened on Aug 22, 2021