The petit topos of globular sets

By Ross Street. 2000

82 citations recorded by the source corpus.

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/ecd56dff52a4541c55bee080468f2188babce74f

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

Polynomial Functors and Trees (2008, background): “(If D has a terminal object, the notion of local right adjoint coincides with Street’s notion of parametric right adjoint [19].”
A Cellular Nerve for Higher Categories (2002, background): “Neither Street’s simplicial nerve [36] nor Brown’s cubical nerve [13] nor Simpson–Tamsamani’s multi-simplicial nerve [35, 38] have this property.”
Polynomial functors and polynomial monads (2009, background): “In Section 1·18 we list six equivalent characterisations of polynomial functors over Set, and briefly comment on the contexts of the related notions: familially representable functors of Diers [14] and Carboni– Johnstone [13] (see also [43, appendix C]), and local right adjoints of Lamarche [39], Ta”
Iterated wreath product of the simplex category and iterated loop spaces (2005, background): “Street [40] has shown that the n-graphs X arising as T∗ for some level-tree T are those for which the partial order on ⊔n k=0 Xk , generated by s(x) x t (x), is a total order.”
The Eckmann–Hilton argument and higher operads (2002, methodology): “Fortunately, the restriction n = k not only simplifies our techniques, but also makes almost unnecessary the use of variable category theory from [34, 37] which our paper [5] used.”
Cubical sets and their site (2003, unknown): “Finally, in the globular case, one can use the integral traces of the standard discs, D n ∩ Z n = {±e 1 , . . . , ±e n } (coinciding with the traces of the standard octahedra); but this will not be treated here (one can see [32]).”
Familial 2-functors and parametric right adjoints (2007, unknown): “Such functors have been considered by several authors at various levels of generality [10] [35] [38].”