A Quillen theorem Bn for homotopy pullbacks
arXiv:1101.4879
Abstract
We prove an extension of the Quillen Theorem Bn for homotopy fibres to a similar result for homotopy pullbacks and use this to obtain sufficient conditions on a pullback diagram of categories to guarantee that it be a homotopy pullback.