Informace o publikaci
Note on the construction of globular weak omega-groupoids from types, topological space etc
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Cahiers de topologie et geometrie differentielle categoriques |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm |
| Obor | Obecná matematika |
| Klíčová slova | Omega-groupoid |
| Přiložené soubory | |
| Popis | A short introduction to Grothendieck weak omega-groupoids is given. Our aim is to give evidence that, in certain contexts, this simple language is a convenient one for constructing globular weak omega-groupoids. To this end, we give a short reworking of van den Berg and Garner's construction of a Batanin weak omega-groupoid from a type using the language of Grothendieck weak omega-groupoids. |