The universal property of the multitude of trees

Michael Batanin*, Ross Street

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    19 Citations (Scopus)


    A vital ingredient in the first author's definition of weak ω-category is his description, in terms of trees, of the free (strict) ω-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. Bénabou has shown how the simplicial category arises from the monoid monad. The present paper studies the object arising similarly from the ω-category monad.

    Original languageEnglish
    Pages (from-to)3-13
    Number of pages11
    JournalJournal of Pure and Applied Algebra
    Issue number1-3
    Publication statusPublished - 1 Dec 2000


    Dive into the research topics of 'The universal property of the multitude of trees'. Together they form a unique fingerprint.

    Cite this