ScalingStacks

[0M32]

Definition 4.2.4. For n≥−2n\geq-2, a map f:A→Bf\colon A\to B in an ∞\infty-category 𝒞\mathcal{C} is nn-connected if it is left orthogonal to every nn-truncated map; ie for every commutative square q:Δ1×Δ1→𝒞q\colon\Delta^{1}\times\Delta^{1}\to\mathcal{C},

A\textstyle{A\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}f\scriptstyle{f}X\textstyle{X\ignorespaces\ignorespaces\ignorespaces\ignorespaces}g\scriptstyle{g}B\textstyle{B\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Y,\textstyle{Y,}

in which gg is nn-truncated, L⁡(q)L\left(q\right) is contractible. An object A∈𝒞A\in\mathcal{C} is called nn-connected if A→pt𝒞A\to\text{pt}_{\mathcal{C}} is nn-connected.

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

Tomer Schlank, Lior Yanovski

Original source: arXiv:1808.06006v3

Original source · 1808.06006v3