A bicategorical pasting theorem


Abstract in English

We provide an elementary proof of a bicategorical pasting theorem that does not rely on Powers 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence.

Download