Quillen's Theorem A and the Whitehead theorem for bicategories
arXiv:1910.01223
Abstract
We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and fully faithful on 2-cells.
26 pages