Altenkirch, Thorsten, Li, Nuo, Ond?ej, Rypá?ek, "Some constructions on ω-groupoids", , 2014