The following pages link to The petit topos of globular sets (Q1588081):
Displaying 21 items.
- Martin-Löf complexes (Q385803) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- Levels in the toposes of simplicial sets and cubical sets (Q626735) (← links)
- A cellular nerve for higher categories (Q696846) (← links)
- On the Penon method of weakening algebraic structures (Q1612131) (← links)
- Monads and theories (Q2001598) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- Iterated wreath product of the simplex category and iterated loop spaces (Q2370163) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- The Eckmann-Hilton argument and higher operads (Q2461790) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Variation on a comprehensive theme (Q3382253) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)
- The étendue of a combinatorial space and its dimension (Q6651546) (← links)
