Quillen's Theorem A and the Whitehead theorem for bicategories
Category Theory
2021-12-21 v1 Algebraic Topology
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.
Cite
@article{arxiv.1910.01223,
title = {Quillen's Theorem A and the Whitehead theorem for bicategories},
author = {Niles Johnson and Donald Yau},
journal= {arXiv preprint arXiv:1910.01223},
year = {2021}
}
Comments
26 pages