Morphisms and modules for poly-bicategories
by Cockett, Koslowski, & Seely
[TAC 2003]

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 = ε