Completions and DK-equivalences of $\hat{I}{˜}_n$-spaces

Miika Tuominen

We establish Rezk completion functors for $\hat{I}{˜}_n$-spaces with respect to each and all of the completeness conditions. As a consequence, we obtain a characterization completeness of…