45 citations · 190 across the 20 of their papers we have counts for
1 paper · 1 filter
Yves Guiraud, Philippe Malbos
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivati…