by
M.A. Batanin

Citations: | 10 - 1 self |

@MISC{Batanin98computadsfor,

author = {M.A. Batanin},

title = {Computads for Finitary Monads on Globular Sets},

year = {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 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 ...

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2014 The Pennsylvania State University