The petit topos of globular sets

DOI10.1016/S0022-4049(99)00183-8zbMath0963.18005WikidataQ56687276 ScholiaQ56687276MaRDI QIDQ1588081

Ross H. Street

Publication date: 17 June 2001

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

globular setsweak higher-dimensional categoryinternal category theory

Mathematics Subject Classification ID

Topoi (18B25)

Related Items

Iterated wreath product of the simplex category and iterated loop spaces, Yoneda structures from 2-toposes, Martin-Löf complexes, Variation on a comprehensive theme, Levels in the toposes of simplicial sets and cubical sets, Operads within monoidal pseudo algebras, Monads with arities and their associated theories, The Eckmann-Hilton argument and higher operads, Polynomial functors and polynomial monads, Monads and theories, Combinatorial structure of type dependency, A cellular nerve for higher categories, Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems, From coherent structures to universal properties, Lax familial representability and lax generic factorizations, Weak ω-Categories from Intensional Type Theory, An Australian Conspectus of Higher Categories, Type Theory and Homotopy, On the Penon method of weakening algebraic structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conspectus of variable categories
• Yoneda structures on 2-categories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• The universal property of the multitude of trees
• The geometry of iterated loop spaces
• Cosmoi of Internal Categories
• Connected limits, familial representability and Artin glueing
• On weak higher-dimensional categories. I. 2