The following pages link to (Q3948322):
Displaying 30 items.
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids (Q392224) (← links)
- Homotopy colimits of 2-functors (Q504533) (← links)
- A Thomason model structure on the category of small \(n\)-fold categories (Q600804) (← links)
- Surface holonomy for non-Abelian 2-bundles via double groupoids (Q626113) (← links)
- A coherent homotopy category of 2-track commutative cubes (Q633789) (← links)
- Another denormalization theorem for abelian chain complexes (Q752839) (← links)
- Crossed modules of Hopf algebras and of associative algebras and two-dimensional holonomy (Q898631) (← links)
- The tower of n-groupoids and the long cohomology sequence (Q912967) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- The algebra of oriented simplexes (Q1112955) (← links)
- The algebra of directed complexes (Q1320333) (← links)
- Spaces of maps into classifying spaces for equivariant crossed complexes (Q1364609) (← links)
- \(n\)-groupoids from \(n\)-truncated simplicial objects as a solution to a universal problem (Q1588063) (← links)
- Iterated \(\bar W\) and T-groupoids (Q1822607) (← links)
- Multiple categories: The equivalence of a globular and a cubical approach (Q1849218) (← links)
- On the Eilenberg-Zilber theorem for crossed complexes (Q1869185) (← links)
- Polyhedral monadicity of \(n\)-groupoids and standardized adjunction (Q1892297) (← links)
- Higher descent data as a homotopy limit (Q2349386) (← links)
- From concurrency to algebraic topology (Q2703724) (← links)
- Higher fundamental functors for simplicial sets (Q2752243) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- (Q3146269) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3986539) (← links)
- \(\infty\)-groupoids and homotopy types (Q3986540) (← links)
- Parity complexes (Q3994019) (← links)
- Algebraic models of cubical weak higher structures (Q5077353) (← links)
- (Q5187436) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
- An inductive model structure for strict \(\infty\)-categories (Q6671779) (← links)
