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 of $$\mathit{Meridiem} \otimes \mathit{Clock}$$, the input object of the codomain should be $$\mathit{Hour} \times 1$$ instead of $$1 \times \mathit{Hour}$$.
In the signature of wiring pattern $w$, the input object of the domain should be $$\mathit{Hour} \times 1$$ instead of $$1 \times \mathit{Hour}$$.
The definition of $w^\sharp$ has a related mistake: it should be
$$w^\sharp((m, h), \ast) := (h, \ast)$$ since its codomain is $$\mathit{Hour} \times 1$$.
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 of$$\mathit{Meridiem} \otimes \mathit{Clock}$$ , the input object of the codomain should be $$\mathit{Hour} \times 1$$ instead of $$1 \times \mathit{Hour}$$ .
In the signature of wiring pattern$w$ , the input object of the domain should be $$\mathit{Hour} \times 1$$ instead of $$1 \times \mathit{Hour}$$ .
The definition of$w^\sharp$ has a related mistake: it should be
$$w^\sharp((m, h), \ast) := (h, \ast)$$ since its codomain is $$\mathit{Hour} \times 1$$ .