Weak units, universal cells, and coherence via universality for bicategories

Amar Hadzihasanovic

Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying…