ScalingStacks

[009N]

Example 5.2.2.

To obtain examples, the following explicit alternative descriptions of \(n\)-connectedness and \(n\)-truncatedness for low values of \(n\) are useful.

  1. A space is \(0\)-connected if and only if it is connected (and in particular nonempty), and it is \(1\)-connected if and only if it is simply connected (and in particular connected).

  2. A map of spaces is always \((-2)\)-connected, and it is \((-1)\)-connected if and only if it is surjective.

  3. A space is \(n\)-truncated if and only if it is an \(n\)-type, e.g. it is \(0\)-truncated if and only if it is discrete.

  4. A map of spaces is \((-2)\)-truncated if and only if it is an equivalence, it is \((-1)\)-truncated if and only if it is a monomorphism, and it is \(0\)-truncated if and only if it is a covering map (in the classical sense).

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

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich

Original source: arXiv:2401.02956v2

Original source · 2401.02956v2