The petit topos of globular sets

Ross Street*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    31 Citations (Scopus)


    There are now several definitions of weak ω-category [1,2,5,19]. What is pleasing is that they are not achieved by ad hoc combinatorics. In particular, the theory of higher operads which underlies Michael Batanin's definition is based on globular sets. The purpose of this paper is to show that many of the concepts of [2] (also see [17]) arise in the natural development of category theory internal to the petit1 topos Glob of globular sets. For example, higher spans turn out to be internal sets, and, in a sense, trees turn out to be internal natural numbers.

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


    Dive into the research topics of 'The petit topos of globular sets'. Together they form a unique fingerprint.

    Cite this