A Quillen Theorem B for strict $\infty$-categories

Dimitri Ara

We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for s…