Lemma 24.1.8 ([Hebestreit and Steinebrunner (2023), Lemma 2.3]). Let \(\phi \colon X \to Y\) be a morphism of complete Segal animae. Then \(\phi \) is an equivalence if and only if it is a Dwyer-Kan equivalence.
Proof. See Reference ? of [Cisinski et al. (2026)]. □
Generated from the authoritative LaTeX source.