Publication details
Note on the construction of globular weak omega-groupoids from types, topological space etc
| Authors | |
|---|---|
| Year of publication | 2017 |
| Type | Article in Periodical |
| Magazine / Source | Cahiers de topologie et geometrie differentielle categoriques |
| MU Faculty or unit | |
| Citation | |
| web | http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm |
| Field | General mathematics |
| Keywords | Omega-groupoid |
| Attached files | |
| Description | 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. |