Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.
生成讲解博客的中文版本
生成AI智能校验的中文版本