Abstract

The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n <= 2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.

Citations

333	Gromov-Witten classes, quantum cohomology, and enumerative Geometry - Kontsevich, Manin - 1994
233	The geometry of iterated loop spaces - May - 1972
216	Braided tensor categories - Joyal, Street
125	Introduction to Bicategories - Bénabou - 1967
118	Review of the elements of 2-categories - Kelly, Street - 1974
109	The formal theory of monads - Street - 1972
102	Monoidal globular categories as a natural environment for the theory of weak n-categories - Batanin - 1998
98	Coherence for tricategories - Gordon, Power, et al. - 1995
86	Handbook of Categorical Algebra 1: Basic Category Theory - Borceux - 1994
79	Formal Category Theory: Adjointness for 2-Categories - Gray - 1974
70	Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes - Baez, Dolan
69	Two-dimensional monad theory - Blackwell, Kelly, et al. - 1989
59	Handbook of Categorical Algebra 2. Categories and Structures - Borceux - 1994
54	Deductive systems and categories. II. In: Standard constructions and closed categories - Lambek - 1969
43	A 2-categorical approach to change of base and geometric morphisms - Carboni, Kelly, et al. - 1991
39	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so - Kelly - 1980
30	Representable multicategories - Hermida - 2000
28	Connected limits, familial representability and Artin glueing - Carboni, Johnstone - 1995
28	Categorical structures - Street - 1996
26	Variation through enrichment - Betti, Carboni, et al. - 1983
22	Definitions: Operads, algebras and modules - May - 1996
21	An abstract approach to coherence - Kelly - 1972
20	A closed model structure for n-categories, internal Hom, n-stacks and generalized Seifert-Van Kampen. Preprint alg-geom 9704006 - Simpson
18	An Introduction to n-Categories - Baez
17	A General Coherence Result - Power - 1989
16	On weak higher dimensional categories - HERMIDA, MAKKAI, et al. - 2002
13	An axiomatics for bicategories of modules - Carboni, Kasangian, et al. - 1987
13	The role of Michael Batanin’s monoidal globular categories - Street - 1998
12	Vertex algebras - Borcherds
12	From coherent structures to universal properties - Hermida
12	On clubs and doctrines - Kelly - 1974
12	On clubs and data-type constructors - Kelly - 1992
10	Basic bicategories - Leinster
9	Weak n-categories: opetopic and multitopic foundations. October 2002. Submitted to the Journal of Pure and Applied Algebra. Also available at: http://www.dpmms.cam.ac.uk/∼elgc2 - Cheng
9	Quantum cohomology of a product - Manin - 1996
9	The Algebra of Distributive and Extensive Categories - Lack - 1995
9	Fibrations in bicategories - Street - 1980
8	Monads and interpolads in bicategories - Koslowski - 1997
8	General operads and multicategories - Leinster - 1997
8	Generalized enrichment for categories and multicategories - Leinster - 1999
7	Weak n-categories: comparing opetopic foundations - Cheng
6	Equivalence of Borcherds G-Vertex Algebras and Axiomatic Vertex Algebras, arXiv:math.QA/9904104. Anguelova: Centre de Recherches Mathematiques (CRM), Université de - Snydal
6	Sheaves and Cauchy-complete categories - Walters - 1981
5	Homotopy algebras for operads - Leinster
5	Meromorphic tensor categories - Soibelman - 1997
4	Coherence for a closed functor - Lewis - 1972
4	A tensor product for Gray-categories - Crans - 1997
4	Limits in n-categories - Simpson - 1997
4	Equivalence between approaches to the theory of opetopes - Cheng - 2000
3	Generalized enrichment of categories - Leinster - 1999