Example 21.8.5 (Path components). The inclusion \(\Set \hookrightarrow \An \) admits a left adjoint \[ \pi _0\colon \An \to \Set \] given by the set of path components.

Generated from the authoritative LaTeX source.