{"id":"arxiv/2606.30254","url":"https://arxiv.org/abs/2606.30254","tags":["math.CT"],"score":0,"title":"Computads with invertible generators for weak ω-categories","domain":"math.CT","source":"arxiv","authors":["Thibaut Benjamin","Camil Champin","Ioannis Markakis"],"reviews":0,"subject":"math.CT","summary":"We extend the notion of computads for weak \\(ω\\)-categories to allow marking certain generators as invertible, and describe inductively the free \\(ω\\)-categories they generate. This gives a simple, finite description of the walking equivalences, the \\(ω\\)-categories classifying invertible cells. We then construct a coreflection from generalised to ordinary computads, preserving the generated \\(ω\\)-categories, and conclude that \\(ω\\)-categories generated by generalised computads are cofibrant. Finally, we study the subcategory of generalised computads and generator-preserving morphisms, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}