We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.
生成讲解博客的中文版本
生成AI智能校验的中文版本