The universal property of the multitude of trees

[摘要] A vital ingredient in the first author's definition of weak omega -category is his description, in terms of trees, of the free (strict) omega -category on a globular set. The induced monad on the category of globular sets shares many of the properties of the monoid monad (describable in terms of words) on the category of sets. Benabou has shown how the simplicial category arises from the monoid monad. The present paper studies the object arising similarly from the omega -category monad. (C) 2000 Elsevier Science B.V. All rights reserved. MSC: 18D05.

[发布日期] 2000-12-01

[效力级别]  Proceedings Paper