4 citations · 10 across the 7 of their papers we have counts for
1 paper · 2 filters
Eric Finster, Samuel Mimram
We introduce a dependent type theory whose models are weak ω-categories, generalizing Brunerie's definition of ω-groupoids. Our type theory is based on the definition of ω-categori…