Altenkirch, T., Li, N., & Ondřej, R. (2014, July). Some constructions on ω-groupoids. Presented at LFMTP '14: Theory and Practice, Vienna, Austria