From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/451 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: preprint Date: Thu, 7 Aug 1997 14:12:31 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016974 25832 80.91.229.2 (29 Apr 2009 14:56:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:14 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Aug 7 14:13:28 1997 Original-Received: by mailserv.mta.ca; id AA05940; Thu, 7 Aug 1997 14:12:31 -0300 Original-Lines: 30 Xref: news.gmane.org gmane.science.mathematics.categories:451 Archived-At: Date: Thu, 7 Aug 1997 15:43:23 +1000 From: Michael Batanin The preprint " Finitary monads on globular sets and notions of computad they generate " is available as postscript files at http://www-math.mpce.mq.edu.au/~mbatanin/papers.html Abstract Consider a finitary monad on the category of globular sets. We prove that the category of its algebras is isomorphic to the category of algebras of an appropriate monad on the special category (of computads) constructed from the data of the initial monad. In the case of the free $n$-category monad this definition coincides with R.Street's definition of $n$-computad. In the case of a monad generated by a higher operad this allows us to define a pasting operation in a weak $n$-category. It may be also considered as the first step toward the proof of equivalence of the different definitions of weak $n$-categories.