Definition 4.2.4. For , a map in an -category is -connected if it is left orthogonal to every -truncated map; ie for every commutative square ,
in which is -truncated, is contractible. An object is called -connected if is -connected.
Definition 4.2.4. For , a map in an -category is -connected if it is left orthogonal to every -truncated map; ie for every commutative square ,
in which is -truncated, is contractible. An object is called -connected if is -connected.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3