nLab
model structure on cubical sets

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

model category

definition

constructions

refinements

presentation of (∞,1)-categories

model structures

Edit this sidebar

There is a model category structure on the category [□ op,Set] of cubical sets whose homotopy theory is that of the standard model structure on simplicial sets.

Using this, cubical sets are a way to describe infinity-groupoids using of all the geometric shapes for higher structures the cube.

…

References

  • Jardine, Model structure on cubical sets (pdf)
Revised on March 8, 2010 19:23:39 by Urs Schreiber (192.76.7.139)
Edit | Back in time (2 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: folk model structure, category with weak equivalences, homotopy category, cubical set, weak factorization system, model structure on simplicial sets, monoidal model category, homotopy limit, model structure on simplicial presheaves, Higher Topos Theory, Quillen equivalence, Quillen adjunction, model structure on sSet-enriched presheaves, (infinity,1)-categorical hom-space, model structure on marked simplicial over-sets, model structure on dg-algebras, model category theory - contents, model structure on cosimplicial rings, model structure on dendroidal sets, tractable model category, folk model structure on Cat, model structure for complete Segal spaces, model structure for quasi-categories, model structure on categories with weak equivalences, model structure on sSet-categories, model structure on cubical sets, model structure on operads