2 problems

Homotopy hypothesis for snugroupoids. There are functors

Let $n$ be a nonnegative integer. Consider the category of weakly unital strict $n$-groupoids, its equivalences, and the category of $n$-truncated spaces with weak equivalences. Le…