A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The petit topos of globular sets
2000
Journal of Pure and Applied Algebra
There are now several deÿnitions 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 deÿnition 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 petit 1 topos Glob of globular sets. For example, higher spans turn out to be internal
doi:10.1016/s0022-4049(99)00183-8
fatcat:ckpvabdpvzdj5fb2zpl6c35hoa