Erratum
In section 1.1, p.20, the definition of poly-bicategories, condition 2: the third clause omits an obvious dual condition, namely:
(∂1β)< i ≠ ε implies (∂0α)< j = ε and (∂1β)> i ≠ ε implies (∂0α)> j = ε