paper

Presentations for Globular Operads

arXiv:2101.00077

Abstract

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 -category for .