 |
|
|
|
| HAL : hal-00395898, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| A folk model structure on omega-cat |
|
|
| Yves Lafont 1François Métayer 2 |
|
|
| (16/06/2009) |
|
|
|
| The primary aim of this work is an intrinsic homotopy theory of strict $\omega$-categories. We establish a model structure on $\omega$-Cat, the category of strict $\omega$-categories. The constructions leading to the model structure in question are expressed entirely within the scope of $\omega$-Cat, building on a set of generation cofibrations and a class of weak equivalences as basic items. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Institut de Mathématiques de Luminy (IML) |
|
|
|
CNRS : UPR9016 |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris-Diderot - Paris VII |
|
|
| 3 : | Katedra Informatyki |
|
|
|
Akademia Gorniczo-Hutnicza Krakow |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Catégories et ensembles |
|
|
| homotopy – model structure – n-category |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00395898, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00395898/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00395898_v1 | |
| Contributeur : Francois Metayer | |
| Soumis le : Mardi 16 Juin 2009, 16:13:36 | |
| Dernière modification le : Mardi 16 Juin 2009, 20:44:10 | |
