A coherence theorem for pseudonatural transformations

Maxime Lucas

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. I…