A bicategorical pasting theorem

Niles Johnson,Donald Yau
DOI: https://doi.org/10.48550/arXiv.1910.01220
2019-10-03
Abstract:We provide an elementary proof of a bicategorical pasting theorem that does not rely on Power's 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence.
Category Theory
What problem does this paper attempt to address?