A bicategorical pasting theorem
arXiv:1910.01220
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.
18 pages