The purpose of this survey is to present in a uniform way the notion of equivalence between strict nn-categories or (∞,n)(∞,n)-categories, and inside a strict (n+1)(n+1)-category or (∞,n+1)(∞,n+1)-category.
生成讲解博客的中文版本
生成AI智能校验的中文版本