论文信息 - Computads and slices of operads.

Computads and slices of operads.

For a given !-operad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the category of n-computads of A being a presheaf topos. 1991 Math. Subj. Class. 18C20, 18D05

M. Batanin | M. A. Batanin

[1] M. Batanin. On the Penon method of weakening algebraic structures , 2002 .

[2] M. Batanin. The Eckmann-Hilton argument, higher operads and En-spaces. , 2002 .

[3] A tensor product for Gray-categories. , 1999 .

[4] Michael Batanin,et al. Computads for finatory monads on globular sets , 1998 .

[5] A. Joyal. Foncteurs analytiques et espèces de structures , 1986 .

[6] Ross Street,et al. Coherence of tricategories , 1995 .

[7] Ross Street,et al. Limits indexed by category-valued 2-functors , 1976 .

[8] Michael Batanin,et al. Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories☆ , 1998 .

[9] R. Street,et al. The universal property of the multitude of trees , 2000 .

[10] Ross Street,et al. The petit topos of globular sets , 2000 .

[11] Peter T. Johnstone,et al. Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.