In this paper we develop the theory of presentations for globular operads and construct presentations for the globular operads corresponding to several key theories of nn-category for n⩽4n⩽4.
生成讲解博客的中文版本
生成AI智能校验的中文版本