加载中…
We look at strict -groupoids and show that if is any realization functor from the category of strict -groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict -groupoid such that is the -type of (for ). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory’', a strictly associative -category with only weak units.

生成讲解博客的中文版本

生成AI智能校验的中文版本