Results 1 -
2 of
2
Computads for Finitary Monads on Globular Sets
, 1998
"... . A finitary monad A on the category of globular sets provides basic algebraic operations from which more involved `pasting' operations can be derived. To makes this rigorous, we define A-computads and construct a monad on the category of A-computads whose algebras are A-algebras; an action of the n ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
. A finitary monad A on the category of globular sets provides basic algebraic operations from which more involved `pasting' operations can be derived. To makes this rigorous, we define A-computads and construct a monad on the category of A-computads whose algebras are A-algebras; an action of the new monad encapsulates the pasting operations. When A is the monad whose algebras are n-categories, an A-computad is an n-computad in the sense of R.Street. When A is associated to a higher operad (in the sense of the author) , we obtain pasting in weak n-categories. This is intended as a first step towards proving the equivalence of the various definitions of weak n-category now in the literature. Introduction This work arose as a reflection on the foundation of higher dimensional category theory. One of the main ingredients of any proposed definition of weak n-category is the shape of diagrams (pasting scheme) we accept to be composable. In a globular approach [3] each k-cell has a source ...
Computads and slices of operads.
, 2002
"... 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 ..."
Abstract
- Add to MetaCart
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

