Notation 24.1.13. The left adjoint to \(\CSeg (\An ) \hookrightarrow \Seg (\An )\) is often called the completion functor or Rezk completion and is denoted by \[ \widehat {(-)}\colon \Seg (\An ) \to \CSeg (\An ). \]
Generated from the authoritative LaTeX source.