ScalingStacks

[05US]

Lemma 7.5. If U→𝑓V→𝑔WU\xrightarrow{f}V\xrightarrow{g}W are maps of Segal spaces such that ff and gg are Dwyer-Kan equivalences, then g​fgf is a Dwyer-Kan equivalence.

If U→𝑓V→𝑔W→ℎXU\xrightarrow{f}V\xrightarrow{g}W\xrightarrow{h}X are maps of Segal spaces such that g​fgf and h​ghg are Dwyer-Kan equivalences, then each of the maps ff, gg, and hh is a Dwyer-Kan equivalence.

[05UT]

Proof. Straightforward. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Charles Rezk

Original source: arXiv:math/9811037v3

Original source page 16

Original source · math/9811037v3