Corrections to
Universal Properties in Quantum Theory.
Proc. QPL 2018.
Mathieu Huot and Sam Staton.

In the proof of Theorem 5, in the diagram illustrating the dilation of the composition gf, at the bottom of page 216, the node following the application of F(W) ⊗ id should instead be labeled F(p) ⊗ F(b) ⊗ F(a). The subsequent morphism should then be labelled F(p) ⊗ F(b) ⊗ !.

Acknowledgement: Thanks to Eliott Flechtner for pointing this out.