2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$

Nick Gurski, Niles Johnson, Angélica M. Osorno

In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we sho…