Definition 4.2.1. For , a map of spaces is called -truncated if all of its homotopy fibers are -truncated spaces (3.1.1).
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3
Definition 4.2.1. For , a map of spaces is called -truncated if all of its homotopy fibers are -truncated spaces (3.1.1).
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3