Proposition 24.1.9 (Hebestreit and Steinebrunner (2023), Corollary 3.15, Lemma 4.1). For every Segal anima \(X\), the unit map \(\eta \colon X \to N(\ac (X))\) is a Dwyer-Kan equivalence.

Generated from the authoritative LaTeX source.