3 citations · 7 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CT2026
Computads with invertible generators for weak ω-categories
Thibaut Benjamin, Camil Champin, Ioannis Markakis
We extend the notion of computads for weak \(ω\)-categories to allow marking certain generators as invertible, and describe inductively the free \(ω\)-categories they generate. Thi…
math.CT2026
A type theory for invertibility in weak -categories
Thibaut Benjamin, Camil Champin, Ioannis Markakis
We present a conservative extension ICaTT of the dependent type theory CaTT for weak -categories with a type witnessing coinductive invertibility of cells. This extension allows…