Note on the construction of globular weak omega-groupoids from types, topological spaces etc
classification
🧮 math.CT
keywords
weakomega-groupoidsconstructiongiveglobulargrothendiecklanguageshort
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.