Search results

Incorrect output in tape machine wiring diagram.

Status: Open.

#19 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 23, 2025

Redundant conclusion in Lawvere theory example

Status: Open.

#18 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 23, 2025

Proof of interpretation of typed wiring diagrams references wrong proposition

Status: Open.

#17 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

Typo in definition of WD_T

Status: Open.

#16 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

Typo in example Arity_T morphism

Status: Open.

#15 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

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

Status: Open.

#14 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

Incorrect signatures in example describing ClockWithDisplay as lens composite

Status: Open.

#13 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

Incorrect domain for Lens f in parallel product definition

Status: Open.

#12 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

update_S signature has wrong codomain in Example 1.2.1.8

Status: Open.

#11 In DavidJaz/DynamicalSystemsBook;

· kevinclancy opened on Jul 10, 2025

Relation to Actors

Status: Open.

#3 In DavidJaz/DynamicalSystemsBook;

· bblfish opened on Aug 22, 2021