@MISC{Batanin98computadsfor, author = {M.A. Batanin}, title = {Computads for Finitary Monads on Globular Sets}, year = {1998} }

Share

OpenURL

Abstract

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