TY  - RPRT
TI  - Note on the construction of globular weak omega-groupoids from types, topological spaces etc
AU  - John Bourke
PY  - 2017
UR  - https://arxiv.org/abs/1602.07962
ID  - 1602.07962
ER  -