Incorrect domain for Lens f in parallel product definition

[kevinclancy]

In definition 1.3.2.1, which defines the parallel product of lenses and contains the text "we define their parallel product", the domain of the first lens should have $$B_1$$ as its output object instead of $$B_2$$.